Journal of Symbolic Logic 65 (1):371-391 (2000)
We provide a general framework for studying the expansion of strongly minimal sets by adding additional relations in the style of Hrushovski. We introduce a notion of separation of quantifiers which is a condition on the class of expansions of finitely generated models for the expanded theory to have a countable ω-saturated model. We apply these results to construct for each sufficiently fast growing finite-to-one function μ from 'primitive extensions' to the natural numbers a theory T μ of an expansion of an algebraically closed field which has Morley rank 2. Finally, we show that if μ is not finite-to-one the theory may not be ω-stable
|Keywords||finite rank expansion algebraically closed fields model completeness|
|Categories||categorize this paper)|
References found in this work BETA
A New Strongly Minimal Set.Ehud Hrushovski - 1993 - Annals of Pure and Applied Logic 62 (2):147-166.
Stable Generic Structures.John T. Baldwin & Niandong Shi - 1996 - Annals of Pure and Applied Logic 79 (1):1-35.
Strongly Minimal Fusions of Vector Spaces.Kitty L. Holland - 1997 - Annals of Pure and Applied Logic 83 (1):1-22.
Citations of this work BETA
Constructing Ω-Stable Structures: Model Completeness.John T. Baldwin & Kitty Holland - 2004 - Annals of Pure and Applied Logic 125 (1-3):159-172.
Notes on Quasiminimality and Excellence.John T. Baldwin - 2004 - Bulletin of Symbolic Logic 10 (3):334-366.
Similar books and articles
On Lascar Rank and Morley Rank of Definable Groups in Differentially Closed Fields.Anand Pillay & Wai Yan Pong - 2002 - Journal of Symbolic Logic 67 (3):1189-1196.
Categoricity and U-Rank in Excellent Classes.Olivier Lessmann - 2003 - Journal of Symbolic Logic 68 (4):1317-1336.
Fusion Over Sublanguages.Assaf Hasson & Martin Hils - 2006 - Journal of Symbolic Logic 71 (2):361 - 398.
Rank and Dimension in Difference-Differential Fields.Ronald F. Bustamante Medina - 2011 - Notre Dame Journal of Formal Logic 52 (4):403-414.
The Geometry of Forking and Groups of Finite Morley Rank.Anand Pillay - 1995 - Journal of Symbolic Logic 60 (4):1251-1259.
Added to index2009-01-28
Total downloads28 ( #185,103 of 2,178,208 )
Recent downloads (6 months)3 ( #112,488 of 2,178,208 )
How can I increase my downloads?