Switch to: References

Add citations

You must login to add citations.
  1. Plus ultra.Frank O. Wagner - 2015 - Journal of Mathematical Logic 15 (2):1550008.
    We define a reasonably well-behaved class of ultraimaginaries, i.e. classes modulo [Formula: see text]-invariant equivalence relations, called tame, and establish some basic simplicity-theoretic facts. We also show feeble elimination of supersimple ultraimaginaries: If [Formula: see text] is an ultraimaginary definable over a tuple [Formula: see text] with [Formula: see text], then [Formula: see text] is eliminable up to rank [Formula: see text]. Finally, we prove some uniform versions of the weak canonical base property.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • Applications of the group configuration theorem in simple theories.Ivan Tomašić & Frank O. Wagner - 2003 - Journal of Mathematical Logic 3 (02):239-255.
    We reconstruct the group action in the group configuration theorem. We apply it to show that in an ω-categorical theory a finitely based pseudolinear regular type is locally modular, and the geometry associated to a finitely based locally modular regular type is projective geometry over a finite field.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Compactness and independence in non first order frameworks.Itay Ben-Yaacov - 2005 - Bulletin of Symbolic Logic 11 (1):28-50.
    This communication deals with positive model theory, a non first order model theoretic setting which preserves compactness at the cost of giving up negation. Positive model theory deals transparently with hyperimaginaries, and accommodates various analytic structures which defy direct first order treatment. We describe the development of simplicity theory in this setting, and an application to the lovely pairs of models of simple theories without the weak non finite cover property.
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   2 citations