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

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
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/j.apal.2008.03.004
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,355
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Model Theory of Modules.Martin Ziegler - 1984 - Annals of Pure and Applied Logic 26 (2):149-213.
Ω-Categorical, Ω-Stable Structures.G. Cherlin, L. Harrington & A. 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.
Pseudoprojective Strongly Minimal Sets Are Locally Projective.Steven Buechler - 1991 - Journal of Symbolic Logic 56 (4):1184-1194.

View all 15 references / Add more references

Citations of this work BETA

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.
Separable Models of Randomizations.Uri Andrews & H. Jerome Keisler - 2015 - Journal of Symbolic Logic 80 (4):1149-1181.
On Kueker's Conjecture.Predrag Tanović - 2012 - Journal of Symbolic Logic 77 (4):1245-1256.

View all 10 citations / Add more citations

Similar books and articles

Relative Vaught's Conjecture for Some Meager Groups.Ludomir Newelski - 2007 - Notre Dame Journal of Formal Logic 48 (1):115-132.
The Classification of Small Types of Rank Ω, Part I.Steven Buechler & Colleen Hoover - 2001 - Journal of Symbolic Logic 66 (4):1884-1898.
The Classification of Small Weakly Minimal Sets. II.Steven Buechler - 1988 - Journal of Symbolic Logic 53 (2):625-635.
Kueker's Conjecture for Superstable Theories.Steven Buechler - 1984 - Journal of Symbolic Logic 49 (3):930-934.
Rank and Dimension in Difference-Differential Fields.Ronald F. Bustamante Medina - 2011 - Notre Dame Journal of Formal Logic 52 (4):403-414.
Isolated Types in a Weakly Minimal Set.Steven Buechler - 1987 - Journal of Symbolic Logic 52 (2):543-547.
Rank and Dimension in Difference-Differential Fields.Ronald F. Bustamante Medina - 2011 - Notre Dame Journal of Formal Logic 52 (4):403-414.
The Vaught Conjecture: Do Uncountable Models Count?John T. Baldwin - 2007 - Notre Dame Journal of Formal Logic 48 (1):79-92.
On Atomic or Saturated Sets.Ludomir Newelski - 1996 - Journal of Symbolic Logic 61 (1):318-333.
A Note on Counterexamples to the Vaught Conjecture.Greg Hjorth - 2007 - Notre Dame Journal of Formal Logic 48 (1):49-51.
Superstable Theories with Few Countable Models.Lee Fong Low & Anand Pillay - 1992 - Archive for Mathematical Logic 31 (6):457-465.
Geometry of *-Finite Types.Ludomir Newelski - 1999 - Journal of Symbolic Logic 64 (4):1375-1395.

Analytics

Added to PP index
2013-12-26

Total views
27 ( #425,603 of 2,519,516 )

Recent downloads (6 months)
1 ( #407,153 of 2,519,516 )

How can I increase my downloads?

Downloads

My notes