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

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

Relative Vaught's Conjecture for Some Meager Groups.Ludomir Newelski - 2007 - Notre Dame Journal of Formal Logic 48 (1):115-132.
Countable models of trivial theories which admit finite coding.James Loveys & Predrag Tanovic - 1996 - Journal of Symbolic Logic 61 (4):1279-1286.
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.
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.
The classification of small weakly minimal sets. III: Modules.Steven Buechler - 1988 - Journal of Symbolic Logic 53 (3):975-979.

Analytics

Added to PP
2013-12-26

Downloads
93 (#572,961)

6 months
15 (#769,189)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

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.
Domination, Fibrations, and Splitting.Christine Eagles & Léo Jimenez - forthcoming - Journal of Symbolic Logic:1-23.
On Kueker's conjecture.Predrag Tanović - 2012 - Journal of Symbolic Logic 77 (4):1245-1256.

View all 11 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