For a complete truth-set $T$ is a countable transitive model satisfying $T$ unique?

Let $T$ be a maximal (in the sense that either $\phi \in T$ or $\phi \not \in T$ for all $\phi \in \mathcal{L}_\in$) set of sentences consistent with $ZFC$.

Question For a countable transitive model $\mathfrak{M}$ such that $\mathfrak{M} \models T$, is $\mathfrak{M}$ the unique such model?

This is somewhat close to questions asked here:

On the number of countable models of complete theories of models of ZFC

and here:

Number of Non-isomorphic models of Set Theory

However, those answers just deal with countable models rather than countable transitive models.

It is tempting to say that $\mathfrak{M}$ should be unique; for Skolem hull $H \models T$ the collapsing isomorphism to $\mathfrak{M}$ is unique. It's then hard to see what could substantiate any difference between the result of collapsing two distinct $H_1$ and $H_2$ that both satisfy $T$.

Many thanks for any pointers!

• Sometimes, sometimes not. If $T$ is something which includes $V=L$ and "There are no transitive models of $\sf ZFC$", then yes, but in general I think that the answer is negative. (Not to mention that assuming large cardinals there are "more" such $T$ available to us...) – Asaf Karagila Sep 23 '14 at 14:22
• Thanks Asaf. A couple of clarifications. 1. By $T$ I meant a set that also decides statements of the form There exists a large cardinal of kind $x$'' (my question wasn't entirely clear in this respect). 2. Is there an easy way to see this? For example, we can easily force from $CH$ to $\neg CH$ and back again, but I'd expect the final model in the chain to satisfy some different sentences from the first... – Neil Barton Sep 23 '14 at 14:35
• (1) Of course that a completion of $\sf ZFC$ decides things like there are such and such large cardinals. But the assumption that such $T$ exists requires additional assumptions (in some universes there will be no transitive models of $\sf ZFC+\exists\kappa$ inaccessible, even if there are models of that theory). So it can be a bit hard to give a complete answer, because the question is too... "independent", or too dependent on the meta-theory assumptions. (2) An easy way to see what? The case where there is a unique model which I suggested? – Asaf Karagila Sep 23 '14 at 14:45
• Re: (1.) okay good. I'm happy with the independent assumptions. Re: (2.) I meant an easy way to see a case of non-uniqueness. The unique case you specify is AOK. – Neil Barton Sep 23 '14 at 14:54

Sometimes the answer is yes, for example consider $T$ which includes these two axioms:

1. $V=L$.
2. "There are no transitive models of $\sf ZFC$".

Because of the first statement any countable transitive model has the form $L_\alpha$ for some $\alpha<\omega_1$. But the second statement already ensures that this $\alpha$ is unique, since any larger $\alpha'$ will know $L_\alpha$ and therefore the second axiom will be false there.

Similarly we can add all sort of these statements which make the choice of $\alpha$ unique.

Sometimes the answer is no, for example if $0^\#$ exists, then there is a class of indiscernibles for $L$, in particular if $\alpha$ and $\beta$ are indiscernibles then $L_\alpha$ is an elementary submodel of $L_\beta$. Pick $\alpha$ any countable indiscernible (and there are many of them), and take $T$ as the theory of $L_\alpha$, now you have $\aleph_1$ non-isomorphic countable transitive models of $T$.

And sometimes the answer is "what are you talking about?" consider the model from the first example, and work internally to that model. Regardless to what completion we took of $\sf ZFC$ it doesn't have a transitive model, let alone a countable transitive model.

• Great idea with $0 \sharp$. That's a very elegant and clear example. – Neil Barton Sep 23 '14 at 14:56

Here's a particularly simple way to show non-uniqueness for arbitrary T. Suppose there's a transitive model $M$ of ZFC containing $\mathcal P(\omega)$. Let T be the complete theory of $M$. Now, suppose there are less than $2^\omega$ ctm's (up to isomorphism) of T. Then there is some $x\subseteq \omega$ not (represented) in any of them. But the countable Skolem hull of $M$ wrt $\{x\}$ will have a transitive collapse containing $x$. Contradiction.

• How does that not clash with my first example? – Asaf Karagila Sep 23 '14 at 15:28
• Won't M think that there are transitive models? I mean, it will think there are well-founded models of ZFC on $\omega$. – GME Sep 23 '14 at 15:30
• Which $M$? I'm talking about $T$ which is $\sf ZFC+V=L+$There are no well-founded models of $\sf ZFC$. In the case of working internally to such model, note that while $\operatorname{Con}(\ldots)$ is an arithmetic statement, the existence of well-founded models is not arithmetical anymore, rather $\Sigma^1_2$, so it's not necessarily absolute to smaller models like that. – Asaf Karagila Sep 23 '14 at 15:32
• The M I mention in my answer. It doesn't satisfy your (2) and so the T I define doesn't include (2), and so I don't see how my example clashes with your first example. What am I missing? – GME Sep 23 '14 at 15:34
• I didn't notice that $\mathcal P(\omega)\in M$. Sorry. – Asaf Karagila Sep 23 '14 at 15:59