Abstract
Let T be a complete, superstable theory with fewer than \({2^{\aleph_{0}}}\) countable models. Assuming that generic types of infinite, simple groups definable in T eq are sufficiently non-isolated we prove that ω ω is the strict upper bound for the Lascar rank of T.
Similar content being viewed by others
References
Baldwin J.T.: Fundamentals of Stability Theory. Springer, Berlin (1988)
Berline C.: Superstable groups; a partial answer to conjectures of Cherlin and Zilber. Ann. Pure Appl. Logic 30, 45–63 (1986)
Hrushovski, E.: On superstable fields with automorphisms. In: The Model Theory of Groups, Pillay, A., Nesin, A. (eds.) Notre Dame Mathematical Lectures, no. 11, University of Notre Dame Press, 186–191 (1989)
Makkai M.: A survey of basic stability theory with particular emphasis on orthogonality and regular types. Israel J.Math. 49, 181–238 (1984)
Pillay A.: Geometric Stability Theory. Clarendon Press, Oxford (1996)
Poizat, B.: Groupes Stables, Nur al-Mantiq wal-Ma’rifah (1987)
Shelah S., Harrington L., Makkai M.: A proof of Vaught’s conjecture for totally transcedental theories. Israel J. Math. 49, 259–278 (1984)
Tanović P.: Non-isolated types in stable theories. Ann. Pure Appl. Logic 145, 1–15 (2007)
Tanović, P.: Fundamental Order and the Number of Countable Models, PhD Thesis, McGill University (1993)
Wagner F.O.: Stable Groups, London Mathematical Society Lecture Note Series, no. 240. Cambridge University Press, Cambridge (1997)
Author information
Authors and Affiliations
Corresponding author
Additional information
Supported by the Ministry of Education, Science and Technological Development of Serbia (ON 174026).
Rights and permissions
About this article
Cite this article
Tanović, P. Simple groups and the number of countable models. Arch. Math. Logic 52, 779–791 (2013). https://doi.org/10.1007/s00153-013-0343-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-013-0343-x