If the first-order theory T is κ-categorical for some cardinal κ > |T|, then T is λ-categorical for all cardinals λ > |T|.
|
Theorem: (Morley,
Trans. AMS, 1965 for countable T;
Shelah, Tarski Symposium, 1971,in general) If the first-order theory T is κ-categorical for some cardinal κ > |T|, then T is λ-categorical for all cardinals λ > |T|.
|