Vaught's conjecture for superstable theories of arbitrary $U$-rank

Vaught's conjecture predicts that every countable complete first-order theory has either at most countably many or exactly $2^{\aleph_0}$ non-isomorphic countable models; by Morley's trichotomy the only possible intermediate value is $\aleph_1$, so the conjecture asks whether first-order logic can distinguish $\aleph_1$ from the continuum. The conjecture is known for $\omega$-stable theories (Shelah–Harrington–Makkai 1984) and for superstable theories in which every complete type has finite $U$-rank (Buechler 2008). The recognized open core is the remaining superstable case: countable complete superstable theories of arbitrary, possibly infinite, $U$-rank. A 2025 survey by Pillay and Tanović states this case is "still open in full generality", lists the subcase of superstable theories of modules as a separate open problem, and reports a general cessation of work on the subject after Buechler's paper. No later work resolving or refuting the general superstable case is known.

Background

For a countable complete first-order theory $T$, let $I(\aleph_0,T)$ denote the number of non-isomorphic countable (i.e. countably infinite or finite) models of $T$. Vaught conjectured in 1961 that $I(\aleph_0,T)$ is always either at most countable or exactly $2^{\aleph_0}$. Morley (1970) proved that the only infinite values $I(\aleph_0,T)$ can take are $\aleph_0$, $\aleph_1$, or $2^{\aleph_0}$ (finite values also occur, as the definition of $I(\aleph_0,T)$ already allows), so the conjecture is equivalent to excluding the value $\aleph_1$; it has been open for over sixty years and is one of the oldest unsolved problems in model theory.

Stability theory stratifies complete theories by the combinatorial complexity of their definable sets and type spaces. A theory is stable if no formula defines an infinite linear order; within stability, superstability is characterized by the absence of infinite forking chains, where forking is the model-theoretic notion of dependence that behaves like linear independence in vector spaces; $\omega$-stability, the strongest level, requires every type space over a countable set to be countable. Every $\omega$-stable theory is superstable. The $U$-rank (Lascar rank) of a complete type is an ordinal-valued measure of its forking complexity: in a superstable theory every type has an ordinal $U$-rank, which may be infinite; "finite rank" means every complete type has finite $U$-rank. A theory is called small if it has only countably many complete types over the empty set; for Vaught's conjecture one may assume smallness, since a countable non-small theory already has $2^{\aleph_0}$ countable models.

The conjecture has been confirmed for several classes: $\omega$-stable theories (Shelah, Harrington and Makkai 1984, via a recursive decomposition of countable models into trees of prime models, where a prime model over a set is a smallest model atomic over that set), superstable theories of finite $U$-rank (Buechler 2008), o-minimal theories, and varieties, among others. Lachlan (1973) proved that no superstable theory is an Ehrenfeucht theory, i.e. a complete theory with finitely many but more than one countable model; so within superstability the only remaining question is the countable-versus-continuum dichotomy. For superstable non-$\omega$-stable theories with fewer than continuum many countable models, Low and Pillay (1992) showed that a definable group must exist whose generic types are regular and locally modular (a regular type is one whose dependence structure admits a well-behaved dimension, and locally modular means its algebraic-closure geometry resembles that of affine spaces); as a consequence, Vaught's conjecture holds for superstable theories with no infinite definable groups. Newelski's program on meager types — types that are meager subsets of the profinite (inverse-limit) space of strong types, where strong types refine complete types up to infinitesimal equivalence — proved the conjecture for certain superstable groups of $U$-rank $\omega$ and a relative version for some meager groups, which is the main partial progress toward infinite rank.

Buechler's 2008 paper established a Structure Theorem for countable superstable theories of finite $U$-rank with fewer than $2^{\aleph_0}$ countable models: every countable model is prime over $A\cup J$ where $A$ is finite, $J$ is $A$-independent, and only finitely many strong types occur in $J$; Vaught's conjecture for this class follows. The proof reduces the problem to abelian structures in the sense of Fisher (group expansions with a distinguished family of subgroups, whose definable sets are Boolean combinations of cosets of definable subgroups, so that they behave like modules) and analyzes them through their representation type (which finite-dimensional indecomposable representations occur). Kucera's zbMATH review of the paper observes that "the assumption of finite rank permeates almost every aspect of this proof" and that "completely new techniques will be necessary to attack the problem of Vaught's Conjecture for superstable theories of infinite rank".

Problem Statement

Prove or refute Vaught's conjecture for the class of countable complete superstable first-order theories without any restriction on $U$-rank: show that every such theory $T$ has either at most countably many or exactly $2^{\aleph_0}$ non-isomorphic countable models, or else exhibit a countable complete superstable theory with an intermediate number of non-isomorphic countable models — which, by Morley's trichotomy, would be exactly $\aleph_1$. The statement must cover theories in which some complete type has infinite $U$-rank, the case explicitly left open by Buechler's 2008 proof of the finite-rank case; no finite-rank, unidimensionality, one-basedness, or definable-group exclusion may be assumed. (A countable non-small theory already has $2^{\aleph_0}$ countable models.) A resolution of this statement automatically resolves the open module-theoretic subcase (Vaught's conjecture for superstable theories of modules over a countable ring).

References

1. Steven Buechler, "Vaught's conjecture for superstable theories of finite rank", Annals of Pure and Applied Logic 155(3) (2008) 135–172. DOI: 10.1016/j.apal.2008.03.004. https://doi.org/10.1016/j.apal.2008.03.004 (also indexed as zbMATH Zbl 1175.03019)
2. Saharon Shelah, Leo Harrington, Michael Makkai, "A proof of Vaught's conjecture for ω-stable theories", Israel Journal of Mathematics 49(1–3) (1984) 259–280. DOI: 10.1007/BF02760651. https://doi.org/10.1007/BF02760651
3. Lee Fong Low, Anand Pillay, "Superstable theories with few countable models", Archive for Mathematical Logic 31(6) (1992) 457–465. DOI: 10.1007/BF01277487. https://doi.org/10.1007/BF01277487
4. Ludomir Newelski, "Vaught's conjecture for some meager groups", Israel Journal of Mathematics 112(1) (1999) 271–299. DOI: 10.1007/BF02773485. https://doi.org/10.1007/BF02773485
5. Ludomir Newelski, "Relative Vaught's Conjecture for Some Meager Groups", Notre Dame Journal of Formal Logic 48(1) (2007) 115–132. DOI: 10.1305/ndjfl/1172787549. https://doi.org/10.1305/ndjfl/1172787549
6. Alistair H. Lachlan, "On the number of countable models of a countable superstable theory", in: Logic, Methodology and Philosophy of Science IV (Proc. Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest 1971), Studies in Logic and the Foundations of Mathematics 74, North-Holland, 1973, 45–56. DOI: 10.1016/S0049-237X(09)70347-7. https://doi.org/10.1016/S0049-237X(09)70347-7
7. Michael Morley, "The number of countable models", The Journal of Symbolic Logic 35(1) (1970) 14–18. DOI: 10.2307/2271150. https://doi.org/10.2307/2271150 (also zbMATH Zbl 0196.01002)
8. R. L. Vaught, "Denumerable models of complete theories", in: Infinitistic Methods (Proc. Symposium on Foundations of Mathematics, Warsaw 1959), Pergamon Press / Państwowe Wydawnictwo Naukowe, 1961, 303–321; reprinted in: Mathematical Logic in the 20th Century, World Scientific, Singapore, 2003, 609–627. DOI: 10.1142/9789812564894_0028. https://doi.org/10.1142/9789812564894_0028 (also zbMATH Zbl 0113.24302)
9. Anand Pillay, Predrag Tanović, "The number of countable models of first-order theories", arXiv:2508.06854 (2025). https://arxiv.org/abs/2508.06854
10. Thomas Kucera, review of Steven Buechler, "Vaught's conjecture for superstable theories of finite rank", zbMATH Zbl 1175.03019. https://zbmath.org/1175.03019