3
$\begingroup$

Assuming set theory (here, ZF) is consistent, there is a model $V$ of ZF, the universe of all sets.

So, there is a $\omega^V\in V$. A set $A\in V$ is countable iff a bijection $f\in V$ exists between $A$ and $\omega^V$.

By the downward Löwenheim–Skolem Theorem, there is a countable model $M$ of ZFC such that the domain M of $M$ is in $V$ and a bijection $B\in V$ exists between M and $\omega^V$.

Since $M$ is a model of ZFC, there must be some $\omega^M\in M$ and some $\omega_1^M\in M$.

There is no guarantee that $\omega^M$ is $\omega^V$, and no guarantee that $\omega_1^M$ is $\omega_1^V$.

My questions:

  1. Can someone explain when/how/why/under what conditions this divergence (between models taking different sets to be $\omega$) happens?
  2. When/how/why/under what conditions is there a guarantee that sets will agree on $\omega$?
  • 1
    Since you seem to keep thinking (and asking) about ZFC, the following critique against using ZFC as foundation for all of mathematics might be interesting to you: http://www.math.wustl.edu/~nweaver/indisp.pdf2012-06-10

1 Answers 1

2

To the first question, consider $M$ to be a model of ZFC which is a set in the universe $V$. Suppose that $M$ and $V$ agree on $\omega$, we can take an ultrapower of $M$ by a free ultrafilter on the real $\omega$. This happens in $V$, and externally to $M$.

The result is a model, $N$, which externally speaking has a different version of $\omega$. Namely, $\omega^N$ is the ultraproduct of $\omega^M$ by a free ultrafilter over a countable set, so it is not well-founded and therefore cannot be the real $\omega$.

On the other hand, we can require that the models we work with are $\omega$-models, namely their copy of $\omega$ is isomorphic (from the external, and real point of view) to the real $\omega$. In which case even if the model does not fully agree on how $\omega$ looks like, its agrees on its behavior (again, from an external point of view). If we have a transitive $\omega$-model then as sets $\omega^M$ and the real $\omega$ of $V$ are the same set.

  • 0
    Yet another summary. But first! Your comment [here](http://math.stackexchange.com/questions/52587/what-are-the-axiom-of-choice-and-axiom-of-determinacy#comment118861_52591) made me laugh out loud for at least 5 minutes. Now to the dry stuff...if $V$ saw $M$ as countable, and $M$ was a standard model of ZFC, would $V$ see every $A\in M$ as at most countable?2012-06-13
  • 0
    @pichael: No. Suppose we begin with some very very large standard model which knows about $\omega_1$ as a set, etc. Now take a countable elementary submodel which also knows about $\omega_1$ - this is the Skolem-Lowenheim theorem. This model is countable, its membership is the real one because it is a submodel of a standard model; however there is a set in this countable model which the universe knows is uncountable. Note that if we also assume that $M$ is transitive then this is true, as $A\in M$ would imply that $A\subseteq M$. So we have that every set in $M$ is a subset of a countable set.2012-06-13
  • 0
    OK, it's getting clearer. Wiki doesn't help much. So, if $M$ is transitive, it is standard, but not vice versa. Also, if $M$ is a standard model of ZFC and $A$ is uncountable in $M$ then $A$ is uncountable in $V$?2012-06-13
  • 0
    @pichael: For the first, yes. For the latter no, if $M$ is a countable transitive model of ZFC then every ordinal in $M$ is an ordinal in $V$ and there are only countably many ordinals in $M$. However there is a countable ordinal in $M$ which $M$ thinks is uncountable.2012-06-13
  • 0
    OK, I'll just ask the bigger question: if $V$ sees $M$ as countable and $A\in M$ is uncountable in $M$, what can we say about $A\in V$ -- that is, from $V$'s perspective on $A$? And are there any conditions under which $M$ and $V$ will agree about $A$ in this scenario?2012-06-13
  • 0
    @pichael: I honestly can't give you a direct answer. I tried to think about it and went cross-eyed...2012-06-13
  • 0
    @pichael: If $M$ is a countable transitive model (or just any transitive set, really), then any element of $M$ is (externally) countable. If it isn't transitive, you can't tell a thing about its "elements". For all you know they might as well all be inaccessible cardinals.2013-12-23
  • 0
    @tomasz: Chasing ghosts? The OP wasn't here for over a year now, and the thread is over a year and a half old... :-)2013-12-23
  • 0
    @AsafKaragila: I just clicked the link on the right hand side of some other question and didn't really check the date. ^_^2013-12-23