Can a model be countable from its own perspective ?

  • Thread starter Thread starter mpitluk
  • Start date Start date
  • Tags Tags
    Model Perspective
AI Thread Summary
The discussion centers on the concept of countability from a model's own perspective, particularly in relation to Skolem's Paradox. It explores how a model can be considered countable if it contains a bijection to the natural numbers, but highlights that this self-reference leads to contradictions, such as a set being a member of itself. The conversation also distinguishes between standard models, which adhere to ZFC axioms and cannot assert their own countability due to the axiom of regularity, and nonstandard models, which can make such claims. Ultimately, the nature of countability is shown to be relative, often requiring an external perspective for meaningful interpretation. The complexities of these relationships underscore the nuanced understanding of models in set theory.
mpitluk
Messages
25
Reaction score
0
Can a model be countable from its own "perspective"?

I'm reading about Skolem. And I'm wondering about the result of the paradox: that countability (at least in first-order formulations) is relative. Now, even when we state Skolem's theory -- if a first-order theory has an infinite model then it has a countable model -- from what "perspective" is this model countable? From another model? Absolutely?

If we say that a model M is countable "from its own perspective" that means there is some bijection (set) B in the domain of M containing every set in the domain of M (including B) and the set of natural numbers. But that can't happen, because then B would be a member of itself.

So, when we casually talk about countability, we take it to be an absolute notion. But, what does this say about Skolem's Paradox?
 
Physics news on Phys.org


mpitluk said:
Now, even when we state Skolem's theory -- if a first-order theory has an infinite model then it has a countable model -- from what "perspective" is this model countable?
The same "perspective" from which we are using the words like 'theory' and 'model'.
 


A model can be countable from its own perspective, in some sense. It depends what other axioms it satisfies in addition.

If a model (which is a set for the universe and a 2-relation on it for membership) contains the set ω and a function from ω to the universe it can be said to be countable. This cannot happen in a standard model, which has the normal membership as its membership relation, since then you'd have an infinite decreasing series of sets.

But if you don't require your model to have the axiom of Regularity, you can have a function between a set and the universe.
 


Amir Livne said:
If a model (which is a set for the universe and a 2-relation on it for membership) contains the set ω and a function from ω to the universe it can be said to be countable. This cannot happen in a standard model, which has the normal membership as its membership relation, since then you'd have an infinite decreasing series of sets.
What is a standard model?--a model that satisfies the standard first-order ZFC axioms? And what is an infinite decreasing series of sets? Also, must a countable model contain the natural numbers? It seems like it is not necessary, as we have been saying that (typically?) saying a model is countable is really a statement made from "outside" the model.
Amir Livne said:
But if you don't require your model to have the axiom of Regularity, you can have a function between a set and the universe.
I gave a kind of explanation of why I thought that you couldn't have model say of itself that it is countable: because then there would be a set S containing the domain and the natural numbers. But since S is in the domain, it would be a proper subset of itself. Does this assume regularity?
 


What is a standard model?--a model that satisfies the standard first-order ZFC axioms?

A standard model is one where the elements of the universe are sets, and the membership relation is the normal membership relation. In symbols, \mathcal{M} \models x \in y is true iff x \in y/itex]<br /> <br /> <blockquote data-attributes="" data-quote="" data-source="" class="bbCodeBlock bbCodeBlock--expandable bbCodeBlock--quote js-expandWatch"> <div class="bbCodeBlock-content"> <div class="bbCodeBlock-expandContent js-expandContent "> And what is an infinite decreasing series of sets? </div> </div> </blockquote><br /> I&#039;m not sure about my English here. I meant a phenomenon like A_{1} \ni A_{2} \ni A_{3} \ni \ldots. This cannot happen with normal sets, which obey the axiom of regularity: every set has a minimal element w.r.t the membership relation. In other words, \forall A. \exists B \in A. A \cap B = \emptyset. This fails for the set \{A_{1}, A_{2}, \ldots\}.<br /> <br /> <blockquote data-attributes="" data-quote="" data-source="" class="bbCodeBlock bbCodeBlock--expandable bbCodeBlock--quote js-expandWatch"> <div class="bbCodeBlock-content"> <div class="bbCodeBlock-expandContent js-expandContent "> Also, must a countable model contain the natural numbers? It seems like it is not necessary, as we have been saying that (typically?) saying a model is countable is really a statement made from &quot;outside&quot; the model. </div> </div> </blockquote><br /> It kind of depends on what you mean by &quot;model&quot;... Some of the constructions in the study of models of set theory are called models but don&#039;t contain all the natural numbers. If your model satisfies the empty set axiom and the pairing axiom, it will contain all of the natural numbers.<br /> <br /> But the good question is - how can a model even say about itself that it is countable? A set A is countable in the model \mathcal{M} if<br /> \mathcal{M} \models \exists f. \left[ f\ consists\ of\ pairs \wedge \mathrm{dom} f = \omega \wedge \mathrm{rng} f = A \wedge \neg\exists(a_{1},b_{1}),(a_{2},b_{2})\in f. (a_{1} = a_{2} \wedge b_{1} \neq b_{2}) \right]<br /> This says f is a function from the natural numbers to A. Actually the formula will be a bit nore complicated since you need to define the natural numbers, but let&#039;s ignore this difficulty. This formula cannot work for the whole universe since it is not a set in models we want to consider. But you can write a similar formula that captures the idea os a function from a set to the universe:<br /> \mathcal{M} \models \exists f. \left[ f\ consists\ of\ pairs \wedge \mathrm{dom} f = \omega \wedge \forall A.\exists (a,b)\in f. (b = A) \wedge \neg\exists(a_{1},b_{1}),(a_{2},b_{2})\in f. (a_{1} = a_{2} \wedge b_{1} \neq b_{2}) \right]<br /> <br /> It is possible to include such a function in your model, but it will have to be very crippled. For example, the axiom of union will give you a set of all sets. But you could make up such a model. Writing it down completely is a mess but the idea is to have the minimum of sets required: the natural numbers, \omega itself, the pairs that make up your function and the function itself.<br /> <br /> <blockquote data-attributes="" data-quote="" data-source="" class="bbCodeBlock bbCodeBlock--expandable bbCodeBlock--quote js-expandWatch"> <div class="bbCodeBlock-content"> <div class="bbCodeBlock-expandContent js-expandContent "> I gave a kind of explanation of why I thought that you couldn&#039;t have model say of itself that it is countable: because then there would be a set S containing the domain and the natural numbers. But since S is in the domain, it would be a proper subset of itself. Does this assume regularity? </div> </div> </blockquote><br /> This is not related to countability I think. For the model to &quot;speak&quot; about itself in terms that are relevant for sets, it usually needs to be a set of the same model, thich fails the axiom of regularity (among others; even without regularity, you&#039;d have Cantor&#039;s paradox). With standard models this is genuinely impossible, but with nonstandard models you can have it: e.g. M = \{0,1,V\} with membership defined by 0 \in 1, 0 \in V, 1 \in V, V \in V. This is a model with an empty set, a nonempty set, and a universal set. Not a very interesting one though.
 


Amir Livne said:
A standard model is one where the elements of the universe are sets, and the membership relation is the normal membership relation. In symbols, \mathcal{M} \models x \in y is true iff x \in y/itex]<br /> I&#039;m not sure about my English here. I meant a phenomenon like A_{1} \ni A_{2} \ni A_{3} \ni \ldots. This cannot happen with normal sets, which obey the axiom of regularity: every set has a minimal element w.r.t the membership relation. In other words, \forall A. \exists B \in A. A \cap B = \emptyset. This fails for the set \{A_{1}, A_{2}, \ldots\}.<br /> It kind of depends on what you mean by &quot;model&quot;... Some of the constructions in the study of models of set theory are called models but don&#039;t contain all the natural numbers. If your model satisfies the empty set axiom and the pairing axiom, it will contain all of the natural numbers.<br /> <br /> But the good question is - how can a model even say about itself that it is countable? A set A is countable in the model \mathcal{M} if<br /> \mathcal{M} \models \exists f. \left[ f\ consists\ of\ pairs \wedge \mathrm{dom} f = \omega \wedge \mathrm{rng} f = A \wedge \neg\exists(a_{1},b_{1}),(a_{2},b_{2})\in f. (a_{1} = a_{2} \wedge b_{1} \neq b_{2}) \right]<br /> This says f is a function from the natural numbers to A. Actually the formula will be a bit nore complicated since you need to define the natural numbers, but let&#039;s ignore this difficulty. This formula cannot work for the whole universe since it is not a set in models we want to consider. But you can write a similar formula that captures the idea os a function from a set to the universe:<br /> \mathcal{M} \models \exists f. \left[ f\ consists\ of\ pairs \wedge \mathrm{dom} f = \omega \wedge \forall A.\exists (a,b)\in f. (b = A) \wedge \neg\exists(a_{1},b_{1}),(a_{2},b_{2})\in f. (a_{1} = a_{2} \wedge b_{1} \neq b_{2}) \right]<br /> <br /> It is possible to include such a function in your model, but it will have to be very crippled. For example, the axiom of union will give you a set of all sets. But you could make up such a model. Writing it down completely is a mess but the idea is to have the minimum of sets required: the natural numbers, \omega itself, the pairs that make up your function and the function itself.<br /> This is not related to countability I think. For the model to &quot;speak&quot; about itself in terms that are relevant for sets, it usually needs to be a set of the same model, thich fails the axiom of regularity (among others; even without regularity, you&#039;d have Cantor&#039;s paradox). With standard models this is genuinely impossible, but with nonstandard models you can have it: e.g. M = \{0,1,V\} with membership defined by 0 \in 1, 0 \in V, 1 \in V, V \in V. This is a model with an empty set, a nonempty set, and a universal set. Not a very interesting one though.
<br /> <br /> Thanks for this great answer.<br /> <br /> Why is it impossible for a standard model to say of itself that it is countable?
 
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...
Back
Top