I agree with everything you wrote here...
What was your “associated mapping K”? I took it to be what I’m calling the valuation map v. That’s the only map that I associate to an interpretation.
K has a very small domain. Say, K(“2+2”)=K(“5″)=”pull the second lever”, K(“4”) undefined, K(“A”) undefined. Your v doesn’t appear to be similarly restricted.
What was your “associated mapping K”? I took it to be what I’m calling the valuation map v. That’s the only map that I associate to an interpretation.
K has a very small domain. Say, K(“2+2”)=K(“5″)=”pull the second lever”, K(“4”) undefined, K(“A”) undefined. Your v doesn’t appear to be similarly restricted.