TITLE: Are there any non-trivially 'potentially categorical' first order theories?
QUESTION [7 upvotes]: First some background: Two structures $\mathcal{M}$ and $\mathcal{N}$ are potentially isomorphic if there is a non-empty family of finite partial isomorphisms between them such that

for any member of the family $f$ and $x\in\mathcal{M}$, there is $y\in\mathcal{N}$ such that $f\cup\{(x,y)\}$ is in the family.
for any member of the family $f$ and $y\in\mathcal{N}$, there is $x\in\mathcal{M}$ such that $f\cup\{(x,y)\}$ is in the family.

Equivalently duplicator has a winning strategy in the $\omega$-length
Ehrenfeucht–Fraïssé game on $\mathcal{M}$ and $\mathcal{N}$. Also equivalently $\mathcal{M}$ and $\mathcal{N}$ satisfy the same $\mathcal{L}_{\infty\omega}$ sentences. Also equivalently $\mathcal{M}$ and $\mathcal{N}$ are isomorphic in some forcing extension of the universe.
This implies isomorphism for countable structures but it is a strictly weaker condition for uncountable structures. An easy example is two structureless sets of cardinality $\aleph_0$ and $\aleph_1$. In general $\omega$-categoricity of a theory can be characterized by the condition that any two models (of any cardinality) are potentially isomorphic.

Call a theory '$\kappa$-potentially categorical' if any two models of cardinality $\kappa$ are potentially isomorphic. Since you can always extend a $\kappa$-sized model to an $\omega$-saturated model without increasing the size, this condition is equivalent to the condition that all models of cardinality $\kappa$ are $\omega$-saturated. (Edit: For any $\kappa$, if all models of size $\kappa$ are $\omega$-saturated, then the theory is $\kappa$-potentially categorical. Furthermore I think that: For countable theories and $\kappa\geq 2^{\aleph_0}$ the converse is true; and for countable small theories, i.e. $|S_n(T)|\leq \aleph_0$ for every $n$, the converse is true for arbitrary $\kappa$.) There are two 'trivial' ways to accomplish this. If the theory is already $\kappa$-categorical, then any two models are isomorphic so they are potentially isomorphic. If the theory is $\omega$-categorical then any two models whatsoever are potentially isomorphic, so any two models of cardinality $\kappa$ are potentially isomorphic.
Since countable categoricity and uncountable categoricity are 'orthogonal' properties, potential categoricity can't be equivalent to either of them, but it might be the case that these are the only possibilities.
I haven't been able to construct an example that isn't already categorical in some cardinality. So my question is: does potential categoricity always imply categoricity in some cardinality?
Finally, assuming it doesn't, does potential categoricity in some uncountable cardinality imply potential categoricity in all uncountable cardinalities (i.e. does the analog of Morley's theorem hold)?

Edit 2: The $\kappa$-potentially categorical implies all $\kappa$-sized models are $\omega$-saturated argument goes through the same as the standard argument that countably categorical implies the countable model is saturated: fix an $n$-type $p\in S_n(T)$ and fix an $m$-type $q\in S_m(\overline{a})$ where $\text{tp}(\overline{a})=p$. We can always construct a model, $\mathcal{M}$, of size $\kappa$ which: -realizes the type $p$ and -for every $\overline{b}$ such that $\text{tp}(\overline{b}) = p$, there exists an $\overline{c}$ such that $\text{tp}(\overline{c}/\overline{b})=q$. So in any $\kappa$-sized model $\mathcal{N}$, since $\mathcal{M}$ and $\mathcal{N}$ are potentially isomorphic, by a back-and-forth argument $\mathcal{N}$ must realize $p$ and must also realize $q$ over any realization of $p$. Since we can do this with each type individually $\mathcal{N}$ must be $\omega$-saturated.
This means that if $\aleph_0<\kappa<2^{\aleph_0}$ any $\kappa$-potentially categorical theory must be small (i.e. $|S_n(T)|\leq \aleph_0$ for every $n$) because no $\kappa$-sized model can realize $2^{\aleph_0}$ many types.

REPLY [4 votes]: This does not settle your qeustion. However a positive answer to it (i.e. a potentially categorocal theory in some cardinality is already categorical in some other cardinality) implies Kueker's conjecture (if all uncountable models of a theory are $\aleph_0$-saturated, then it is categorical in some cardinality). While Kueker's conjecture is known to be true for many cases (notably stable theories), the general case is I believe still open.