Vaught’s conjecture for superstable theories of finite rank

Annals of Pure and Applied Logic 155 (3):135-172 (2008)
  Copy   BIBTEX

Abstract

In [R. Vaught, Denumerable models of complete theories, in: Infinitistic Methods, Pregamon, London, 1961, pp. 303–321] Vaught conjectured that a countable first order theory has countably many or 20 many countable models. Here, the following special case is proved

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2008.03.004

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,733

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Countable models of trivial theories which admit finite coding.James Loveys & Predrag Tanovic - 1996 - Journal of Symbolic Logic 61 (4):1279-1286.
Superstable theories with few countable models.Lee Fong Low & Anand Pillay - 1992 - Archive for Mathematical Logic 31 (6):457-465.
The Vaught Conjecture: Do Uncountable Models Count?John T. Baldwin - 2007 - Notre Dame Journal of Formal Logic 48 (1):79-92.
Vaught’s Conjecture for Theories of Discretely Ordered Structures.Predrag Tanović - 2024 - Notre Dame Journal of Formal Logic 65 (3):247-257.
Automatic models of first order theories.Pavel Semukhin & Frank Stephan - 2013 - Annals of Pure and Applied Logic 164 (9):837-854.
Vaught R. L.. Denumerable models of complete theories. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 September, 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford, London, New York, and Paris, 1961, pp. 303–321.Svenonius Lars. On minimal models of first-order systems. Theoria , vol. 26 , pp. 44–52.Engeler Erwin. Unendliche Formeln in der Modell-theorie. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 154–160.Fuhrken Gebhard. Bemerkung zu einer Arbeit E. Engelers. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , pp. 277–279. [REVIEW]H. Jerome Keisler - 1970 - Journal of Symbolic Logic 35 (2):342-344.
On the Strong Martin Conjecture.Masanori Itai - 1991 - Journal of Symbolic Logic 56 (3):862-875.
Non-isolated types in stable theories.Predrag Tanović - 2007 - Annals of Pure and Applied Logic 145 (1):1-15.
On Vaught’s Conjecture and finitely valued MV algebras.Antonio Di Nola & Giacomo Lenzi - 2012 - Mathematical Logic Quarterly 58 (3):139-152.
Vaught’s conjecture for almost chainable theories.Miloš S. Kurilić - 2021 - Journal of Symbolic Logic 86 (3):991-1005.

Analytics

Added to PP
2013-12-26

Downloads
43 (#512,946)

6 months
2 (#1,685,590)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Separable models of randomizations.Uri Andrews & H. Jerome Keisler - 2015 - Journal of Symbolic Logic 80 (4):1149-1181.
Classification from a computable viewpoint.Wesley Calvert & Julia F. Knight - 2006 - Bulletin of Symbolic Logic 12 (2):191-218.
Ample thoughts.Daniel Palacín & Frank O. Wagner - 2013 - Journal of Symbolic Logic 78 (2):489-510.
Categories of Topological Spaces and Scattered Theories.R. W. Knight - 2007 - Notre Dame Journal of Formal Logic 48 (1):53-77.

View all 10 citations / Add more citations

References found in this work

Model theory of modules.Martin Ziegler - 1984 - Annals of Pure and Applied Logic 26 (2):149-213.
ℵ0-Categorical, ℵ0-stable structures.Gregory Cherlin, Leo Harrington & Alistair H. Lachlan - 1985 - Annals of Pure and Applied Logic 28 (2):103-135.
Locally modular theories of finite rank.Steven Buechler - 1986 - Annals of Pure and Applied Logic 30 (1):83-94.
The geometry of weakly minimal types.Steven Buechler - 1985 - Journal of Symbolic Logic 50 (4):1044-1053.

View all 14 references / Add more references