Switch to: Citations

Add references

You must login to add references.
  1. Hyperdefinable groups in simple theories.Frank Wagner - 2001 - Journal of Mathematical Logic 1 (01):125-172.
    We study hyperdefinable groups, the most general kind of groups interpretable in a simple theory. After developing their basic theory, we prove the appropriate versions of Hrushovski's group quotient theorem and the Weil–Hrushovski group chunk theorem. We also study locally modular hyperdefinable groups and prove that they are bounded-by-Abelian-by-bounded. Finally, we analyze hyperdefinable groups in supersimple theories.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Definability and definable groups in simple theories.Anand Pillay - 1998 - Journal of Symbolic Logic 63 (3):788-796.
    We continue the study of simple theories begun in [3] and [5]. We first find the right analogue of definability of types. We then develop the theory of generic types and stabilizers for groups definable in simple theories. The general ideology is that the role of formulas (or definability) in stable theories is replaced by partial types (or ∞-definability) in simple theories.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Supersimple ω-categorical groups and theories.David M. Evans & Frank O. Wagner - 2000 - Journal of Symbolic Logic 65 (2):767-776.
    An ω-categorical supersimple group is finite-by-abelian-by-finite, and has finite SU-rank. Every definable subgroup is commensurable with an acl( $\emptyset$ )-definable subgroup. Every finitely based regular type in a CM-trivial ω-categorical simple theory is non-orthogonal to a type of SU-rank 1. In particular, a supersimple ω-categorical CM-trivial theory has finite SU-rank.
    Download  
     
    Export citation  
     
    Bookmark   9 citations