Switch to: Citations

Add references

You must login to add references.
  1. Stable generic structures.John T. Baldwin & Niandong Shi - 1996 - Annals of Pure and Applied Logic 79 (1):1-35.
    Hrushovski originated the study of “flat” stable structures in constructing a new strongly minimal set and a stable 0-categorical pseudoplane. We exhibit a set of axioms which for collections of finite structure with dimension function δ give rise to stable generic models. In addition to the Hrushovski examples, this formalization includes Baldwin's almost strongly minimal non-Desarguesian projective plane and several others. We develop the new case where finite sets may have infinite closures with respect to the dimension function δ. In (...)
    Download  
     
    Export citation  
     
    Bookmark   39 citations  
  • On Model-Completeness.Per Lindström - 1964 - Theoria 30 (3):183-196.
    Download  
     
    Export citation  
     
    Bookmark   19 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  
  • (1 other version)Constructing ω-stable structures: Rank 2 fields.John T. Baldwin & Kitty Holland - 2000 - Journal of Symbolic Logic 65 (1):371-391.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Le Carre de l'egalite.Bruno Poizat - 1999 - Journal of Symbolic Logic 64 (3):1339-1355.
    Ni konstruas korpojn de Morleja ranko du, kiuj estas ricevitaj per memsuficanta amalgameco de korpoj kun unara predikato, lau la Hrushovkija maniero.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Non Σn axiomatizable almost strongly minimal theories.David Marker - 1989 - Journal of Symbolic Logic 54 (3):921 - 927.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Model completeness of the new strongly minimal sets.Kitty Holland - 1999 - Journal of Symbolic Logic 64 (3):946-962.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Categoricity and generalized model completeness.G. Ahlbrandt & John T. Baldwin - 1988 - Archive for Mathematical Logic 27 (1):1-4.
    Download  
     
    Export citation  
     
    Bookmark   1 citation