Morley's theorem states that a countable complete theory that's $\omega$-stable and has no Vaughtian pair is uncountably categorical. From the statement, I guess the "no Vaughtian pair" condition is necessary. In searching for examples of theories that are $\omega$-stable (with Vaughtian pair) but not uncountably categorical, I stumbled upon this article. An example is given in Example 3.1.3, namely the theory in the language $\{E\}$ saying that $E$ is an equivalence relation and that for each natural number $n$, there is one $E$-class of size $n$. However, I don't understand the argument in the article, so I might just ask for an explanation here.
Why is this theory $\omega$-stable but not uncountably categorical?
Best Answer
Call this theory "$T$."
Showing that $T$ is not uncountably categorical is straightforward. Keep in mind that a model of $T$ is gotten by adjoining to the prime model (= one equivalence class of size $n$ for each finite $n$) an arbitrary number (possibly $0$) of equivalence classes of arbitrary infinite cardinalities. Now given $\kappa$ infinite, the following are some examples of non-isomorphic models of $T$ with cardinality $\kappa$:
Exactly one class of size $\kappa$, no other infinite classes.
Exactly two classes of size $\kappa$, no other infinite classes.
For $\kappa>\aleph_0$: exactly one class of size $\kappa$, exactly one class of size $\aleph_0$, no other infinite classes.
And so on. Personally I think the last example is especially important; it's good to keep in mind that similar-looking "pieces" of the model (e.g. infinite classes) can behave very differently.
As for $\omega$-stability, let's start by considering the no-parameters case: can we show that there are only countably many $1$-types over $\emptyset$?
(As usual we're working in some "sufficiently saturated" monster model $\mathfrak{M}$ here.)
Well, intuitively the $1$-type over $\emptyset$ of some element $a$ is determined by a simple cardinal invariant $size(a)$:
After proving that in fact $size(a)=size(b)$ implies $tp_\emptyset(a)=tp_\emptyset(b)$, we can now count the number of possible values of this invariant within the monster model $\mathfrak{M}$:
We now need to think about folding in parameter sets larger than $\emptyset$ and tuple lengths larger than $1$ - that is, counting $n$-types over $A$ for arbitrary finite $n$ and countable $A\subseteq\mathfrak{M}$. EDIT: not really, see Alex Kruckman's comment below; I'm making things harder than they need to be here. This gets a bit tedious, but the basic idea is still the same: we want to show that there are only a few different possible behaviors for a given tuple.
For example, here's how to count the $2$-types over a one-element parameter set $\{c\}$. The type of a pair $(a_0,a_1)$ in $\mathfrak{M}$ over $\{c\}$ is determined by the following data.
First, we have the "$\emptyset$-part" of each individual element of the pair $(a_0,a_1)$:
Next, we consider the structure within the tuple $(a_0,a_1)$:
Finally, we bring the parameter into the question:
Putting all this together we get as hoped for only countably many $2$-types over a one-element parameter set in $\mathfrak{M}$. And it should be reasonably clear how to continue this to get $\omega$-stability.