Switch to: References

Add citations

You must login to add citations.
  1. Strongly determined types.Alexandre A. Ivanov & Dugald Macpherson - 1999 - Annals of Pure and Applied Logic 99 (1-3):197-230.
    The notion of a strongly determined type over A extending p is introduced, where p .S. A strongly determined extension of p over A assigns, for any model M )- A, a type q S extending p such that, if realises q, then any elementary partial map M → M which fixes acleq pointwise is elementary over . This gives a crude notion of independence which arises very frequently. Examples are provided of many different kinds of theories with strongly determined (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • Weak forms of elimination of imaginaries.Enrique Casanovas & Rafel Farré - 2004 - Mathematical Logic Quarterly 50 (2):126-140.
    We study the degree of elimination of imaginaries needed for the three main applications: to have canonical bases for types over models, to define strong types as types over algebraically closed sets and to have a Galois correspondence between definably closed sets B such that A ⊆ B ⊆ acl and closed subgroups of the Galois group Aut/A). We also characterize when the topology of the Galois group is the quotient topology.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • Finitely axiomatizable strongly minimal groups.Thomas Blossier & Elisabeth Bouscaren - 2010 - Journal of Symbolic Logic 75 (1):25-50.
    We show that if G is a strongly minimal finitely axiomatizable group, the division ring of quasi-endomorphisms of G must be an infinite finitely presented ring.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
    		•
  • Finite and Infinite Model Theory-A Historical Perspective.John Baldwin - 2000 - Logic Journal of the IGPL 8 (5):605-628.
    We describe the progress of model theory in the last half century from the standpoint of how finite model theory might develop.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
    		•