Journal of Symbolic Logic 76 (1):47 - 65 (2011)

Abstract
We present a countable complete first order theory T which is model theoretically very well behaved: it eliminates quantifiers, is ω-stable, it has NDOP and is shallow of depth two. On the other hand, there is no countable bound on the Scott heights of its countable models, which implies that the isomorphism relation for countable models is not Borel
Keywords omega-stability   classification   countable models   Borel reducibility   Scott height
Categories (categorize this paper)
DOI 10.2178/jsl/1294170989
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: 54,568
Through your library

References found in this work BETA

Countable Borel Equivalence Relations.S. Jackson, A. S. Kechris & A. Louveau - 2002 - Journal of Mathematical Logic 2 (01):1-80.
Classification Theory and the Number of Nonisomorphic Models.S. Shelah - 1982 - Journal of Symbolic Logic 47 (3):694-696.
New Dichotomies for Borel Equivalence Relations.Greg Hjorth & Alexander S. Kechris - 1997 - Bulletin of Symbolic Logic 3 (3):329-346.

Add more references

Citations of this work BETA

A Descriptive Main Gap Theorem.Francesco Mangraviti & Luca Motto Ros - forthcoming - Journal of Mathematical Logic:2050025.

Add more citations

Similar books and articles

On the Strong Martin Conjecture.Masanori Itai - 1991 - Journal of Symbolic Logic 56 (3):862-875.
On Atomic or Saturated Sets.Ludomir Newelski - 1996 - Journal of Symbolic Logic 61 (1):318-333.
Comparing Borel Reducibility and Depth of an Ω-Stable Theory.Martin Koerwien - 2009 - Notre Dame Journal of Formal Logic 50 (4):365-380.
On Uniqueness of Prime Models.Saharon Shelah - 1979 - Journal of Symbolic Logic 44 (2):215-220.
On Minimal Structures.Oleg V. Belegradek - 1998 - Journal of Symbolic Logic 63 (2):421-426.
End Extensions and Numbers of Countable Models.Saharon Shelah - 1978 - Journal of Symbolic Logic 43 (3):550-562.
Weight Ω in Stable Theories with Few Types.Bernhard Herwig - 1995 - Journal of Symbolic Logic 60 (2):353-373.
Order Types of Ordinals in Models of Set Theory.John E. Hutchinson - 1976 - Journal of Symbolic Logic 41 (2):489-502.
Classification and Interpretation.Andreas Baudisch - 1989 - Journal of Symbolic Logic 54 (1):138-159.
Quelques Précisions Sur la D.O.P. Et la Profondeur d'Une Theorie.D. Lascar - 1985 - Journal of Symbolic Logic 50 (2):316-330.
Constructing Ω-Stable Structures: Rank 2 Fields.John T. Baldwin & Kitty Holland - 2000 - Journal of Symbolic Logic 65 (1):371-391.
Analytic Equivalence Relations and Bi-Embeddability.Sy-David Friedman & Luca Motto Ros - 2011 - Journal of Symbolic Logic 76 (1):243 - 266.

Analytics

Added to PP index
2013-09-30

Total views
4 ( #1,192,813 of 2,385,654 )

Recent downloads (6 months)
1 ( #560,301 of 2,385,654 )

How can I increase my downloads?

Downloads

My notes