Switch to: Citations

Add references

You must login to add references.
  1. Constructing ω-stable structures: model completeness.John T. Baldwin & Kitty Holland - 2004 - Annals of Pure and Applied Logic 125 (1-3):159-172.
    The projective plane of Baldwin 695) is model complete in a language with additional constant symbols. The infinite rank bicolored field of Poizat 1339) is not model complete. The finite rank bicolored fields of Baldwin and Holland 371; Notre Dame J. Formal Logic , to appear) are model complete. More generally, the finite rank expansions of a strongly minimal set obtained by adding a ‘random’ unary predicate are almost strongly minimal and model complete provided the strongly minimal set is ‘well-behaved’ (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • (1 other version)ℵ0-Categorical, ℵ0-stable structures.G. Cherlin, L. Harrington & A. H. Lachlan - 1985 - Annals of Pure and Applied Logic 28 (2):103-135.
    Download  
     
    Export citation  
     
    Bookmark   59 citations  
  • Fusion over a vector space.Andreas Baudisch, Amador Martin-Pizarro & Martin Ziegler - 2006 - Journal of Mathematical Logic 6 (2):141-162.
    Let T1 and T2 be two countable strongly minimal theories with the DMP whose common theory is the theory of vector spaces over a fixed finite field. We show that T1 ∪ T2 has a strongly minimal completion.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • A new strongly minimal set.Ehud Hrushovski - 1993 - Annals of Pure and Applied Logic 62 (2):147-166.
    We construct a new class of 1 categorical structures, disproving Zilber's conjecture, and study some of their properties.
    Download  
     
    Export citation  
     
    Bookmark   89 citations  
  • Notes on quasiminimality and excellence.John T. Baldwin - 2004 - Bulletin of Symbolic Logic 10 (3):334-366.
    This paper ties together much of the model theory of the last 50 years. Shelah's attempts to generalize the Morley theorem beyond first order logic led to the notion of excellence, which is a key to the structure theory of uncountable models. The notion of Abstract Elementary Class arose naturally in attempting to prove the categoricity theorem for L ω 1 ,ω (Q). More recently, Zilber has attempted to identify canonical mathematical structures as those whose theory (in an appropriate logic) (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations