Switch to: Citations

Add references

You must login to add references.
  1. Canonical Finite Diagrams and Quantifier Elimination.Tapani Hyttinen - 2002 - Mathematical Logic Quarterly 48 (4):533-554.
    We revisit the theory of amalgamation classes but we do not insist on staying within elementary classes.
    Download  
     
    Export citation  
     
    Bookmark   4 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   8 citations  
  • Finite diagrams stable in power.Saharon Shelah - 1970 - Annals of Mathematical Logic 2 (1):69-118.
    Download  
     
    Export citation  
     
    Bookmark   57 citations