论文信息 - Constructing an Almost hyperdefinable Group

Constructing an Almost hyperdefinable Group

This paper completes the proof of the group configuration theorem for simple theories started in [1]. We introduce the notion of an almost hyperdefinable (poly-)structure, and show that it has a reasonable model theory. We then construct an almost hyperdefinable group from a polygroup chunk.

Itay Ben-Yaacov | Frank O. Wagner | Ivan Tomasic

[1] Itay Ben-Yaacov,et al. Simplicity in Compact Abstract Theories , 2003, J. Math. Log..

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

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

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

[5] Frank Wagner. Groups in simple theories , 1997 .

[6] Anand Pillay,et al. Forking in the category of existentially closed structures , 2000 .

[7] Stephen D. Comer,et al. Polygroups derived from cogroups , 1984 .

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

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

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

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

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

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