Switch to: References

Add citations

You must login to add citations.
  1. Stable embeddedness and nip.Anand Pillay - 2011 - Journal of Symbolic Logic 76 (2):665 - 672.
    We give some sufficient conditions for a predicate P in a complete theory T to be "stably embedded". Let P be P with its "induced θ-definable structure". The conditions are that P (or rather its theory) is "rosy", P has NIP in T and that P is stably 1-embedded in T. This generalizes a recent result of Hasson and Onshuus [6] which deals with the case where P is o-minimal in T. Our proofs make use of the theory of strict (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Forking in VC-minimal theories.Sarah Cotter & Sergei Starchenko - 2012 - Journal of Symbolic Logic 77 (4):1257-1271.
    We consider VC-minimal theories admitting unpackable generating families, and show that in such theories, forking of formulae over a model M is equivalent to containment in global types definable over M, generalizing a result of Dolich on o-minimal theories in [4].
    Download  
     
    Export citation  
     
    Bookmark   7 citations