Journal of Symbolic Logic 68 (4):1317-1336 (2003)
Let K be the class of atomic models of a countable first order theory. We prove that if K is excellent and categorical in some uncountable cardinal, then each model is prime and minimal over the basis of a definable pregeometry given by a quasiminimal set. This implies that K is categorical in all uncountable cardinals. We also introduce a U-rank to measure the complexity of complete types over models. We prove that the U-rank has the usual additivity properties, that quasiminimal types have U-rank 1, and that the U-rank of any type is finite in the uncountably categorical, excellent case. However, in contrast to the first order case, the supremum of the U-rank over all types may be ω (and is not achieved). We illustrate the theory with the example of free groups, and Zilber's pseudo analytic structures
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
Strong Splitting in Stable Homogeneous Models.Tapani Hyttinen & Saharon Shelah - 2000 - Annals of Pure and Applied Logic 103 (1-3):201-228.
Shelah's Stability Spectrum and Homogeneity Spectrum in Finite Diagrams.Rami Grossberg & Olivier Lessmann - 2002 - Archive for Mathematical Logic 41 (1):1-31.
Ranks and Pregeometries in Finite Diagrams.Olivier Lessmann - 2000 - Annals of Pure and Applied Logic 106 (1-3):49-83.
Citations of this work BETA
Simplicity and Uncountable Categoricity in Excellent Classes.Tapani Hyttinen & Olivier Lessmann - 2006 - Annals of Pure and Applied Logic 139 (1):110-137.
Forking in Short and Tame Abstract Elementary Classes.Boney Will & Grossberg Rami - 2017 - Annals of Pure and Applied Logic 168 (8):1517-1551.
Similar books and articles
The Geometry of Forking and Groups of Finite Morley Rank.Anand Pillay - 1995 - Journal of Symbolic Logic 60 (4):1251-1259.
The Mitchell Order Below Rank-To-Rank.Itay Neeman - 2004 - Journal of Symbolic Logic 69 (4):1143 - 1162.
Upward Categoricity From a Successor Cardinal for Tame Abstract Classes with Amalgamation.Olivier Lessmann - 2005 - Journal of Symbolic Logic 70 (2):639 - 660.
On the Number of Models of Uncountable Theories.Ambar Chowdhury & Anand Pillay - 1994 - Journal of Symbolic Logic 59 (4):1285-1300.
Supersimple Ω-Categorical Groups and Theories.David M. Evans & Frank O. Wagner - 2000 - Journal of Symbolic Logic 65 (2):767-776.
Rank and Dimension in Difference-Differential Fields.Ronald F. Bustamante Medina - 2011 - Notre Dame Journal of Formal Logic 52 (4):403-414.
Added to index2009-01-28
Total downloads17 ( #286,975 of 2,178,142 )
Recent downloads (6 months)1 ( #316,663 of 2,178,142 )
How can I increase my downloads?