The group configuration in simple theories and its applications

In recent work, the authors have established the group configuration theorem for simple theories, as well as some of its main applications from geometric stability theory, such as the binding group theorem, or, in the ω-categorical case, the characterization of the forking geometry of a finitely based non-trivial locally modular regular type as projective geometry over a finite field and the equivalence of pseudolinearity and local modularity. The proof necessitated an extension of the model-theoretic framework to include almost hyperimaginaries , and the study of polygroups .

[1]  Itay Ben-Yaacov.  Group Configurations and Germs in Simple Theories , 2002, J. Symb. Log..

[2]  Anand Pillay,et al.  Definability and definable groups in simple theories , 1998, Journal of Symbolic Logic.

[3]  Frank O. Wagner.  Hyperdefinable Groups in Simple Theories , 2001, J. Math. Log..

[4]  Ehud Hrushovski.  Locally modular regular types , 1987 .

[5]  J. Neumann,et al.  Continuous Geometry. , 1936, Proceedings of the National Academy of Sciences of the United States of America.

[6]  Ivan Tomašić.  Geometric simplicity theory , 2001 .

[7]  B. I. Zilber.  Totally categorical theories: Structural properties and the non-finite axiomatizability , 1980 .

[8]  Itay Ben-Yaacov,et al.  Constructing an Almost hyperdefinable Group , 2004, J. Math. Log..

[9]  Frank O. Wagner,et al.  Applications of the Group Configuration Theorem in Simple Theories , 2003, J. Math. Log..

[10]  Frank O. Wagner,et al.  On The Binding Group in Simple Theories , 2002, J. Symb. Log..

[11]  A. Pillay.  Geometric Stability Theory , 1996 .

[12]  Frank O. Wagner,et al.  Supersimple omega-Categorical Groups and Theories , 2000, J. Symb. Log..

[13]  Itay Ben-Yaacov.  On the fine structure of the polygroup blow-up , 2003, Arch. Math. Log..

[14]  K. Roberts,et al.  Thesis , 2002 .

[15]  Bruno Poizat.  A Propos De Groupes Stables , 1987 .

[16]  H. D. Macpherson.  ABSOLUTELY UBIQUITOUS STRUCTURES AND N0-CATEGORICAL GROUPS , 1988 .

[17]  Tristram de Piro,et al.  The geometry of 1-based minimal types , 2003 .

[18]  Itay Ben-Yaacov,et al.  On almost orthogonality in simple theories , 2004, J. Symb. Log..