1
$\begingroup$

Let $T$ be an uncountably categorical theory in a countable language. If $\mathcal{M}$ is a model of $T$ then there is a strongly minimal definable subset $D$ of $\mathcal{M}$ such that the dimension of $\mathcal{M}$ over $D$ uniquely determines it up to isomorphism.

The set $D$ need not be unique up to finitely many elements, and it may be that there is no strongly minimal set which is definable without parameters: see here.

However, if $D_1$ and $D_2$ are two strongly minimal sets definable in $\mathcal{M}$, must they be isomorphic? Here I am leaving isomorphic vague intentionally, but it could mean the following. Enrich the original structure with a predicate $R_\phi$ for every formula $\phi$ in the obvious way and give $D_1$ and $D_2$ the structure induced by $\mathcal{M}$. Then must they be isomorphic in the enriched language after possibly removing finitely many elements from both?

$\endgroup$
1
$\begingroup$

No. Consider the following structure: Two infinite sets, $A$, and $B$, and a function $f:A\rightarrow B$ such that for every $b\in B$, the preimage of $b$ in $A$ consists of exactly two elements.

If you're comfortable with multisorted structures, you can make $A$ and $B$ sorts and $f$ a function between them. If not, make $A$ and $B$ unary relation symbols in the language, define $f$ in the way described above on $A$, and define $f$ to be the identity on $B$ (so that it's total).

The theory of this structure is categorical in every infinite cardinal: a model $M$ is determined up to isomorphism by $|B| = |A| = |M|$. Both $A$ and $B$ are strongly minimal sets, but they are not isomorphic: the induced structure on $B$ is just that of an infinite set, but the induced structure on $A$ is that of an infinite set together with the equivalence relation $a \sim a'$ iff $f(a) = f(a')$, which has infinitely many $2$-element classes. No such equivalence relation can be defined on $B$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.