Skip to main content

Questions tagged [model-theory]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1 vote
0 answers
54 views

Can a set be uncountable in one sense and countable in another sense?

Can a set be uncountable in one sense and countable in another sense? Or in other words are there senses in which the set of all real numbers satisfies the Peano Axioms? I ask because of the following,...
AUTIST INC's user avatar
-2 votes
3 answers
387 views

Why do we need model theory to express semantics?

I don’t understand the following: At its core, model theory is the study of what you said, as opposed to what you meant. [...] This ability to disconnect the intended interpretation from the ...
user avatar