Journal of Symbolic Logic

On almost orthogonality in simple theories

Itay Ben-Yaacov and Frank O. Wagner
Source: J. Symbolic Logic Volume 69, Issue 2 (2004), 398-408.

Abstract

1. We show that if p is a real type which is internal in a set Σ of partial types in a simple theory, then there is a type p’ interbounded with p, which is finitely generated over Σ, and possesses a fundamental system of solutions relative to Σ.

2. If p is a possibly hyperimaginary Lascar strong type, almost Σ-internal, but almost orthogonal to Σω, then there is a canonical non-trivial almost hyperdefinable polygroup which multi-acts on p while fixing Σ generically. In case p is Σ-internal and T is stable, this is the binding group of p over Σ.

First Page: Show Hide
Primary Subjects: 03C46
Full-text: Access denied (no subscription detected)
We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber.
If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription. Read more about accessing full-text
Links and Identifiers

Permanent link to this document: http://projecteuclid.org/euclid.jsl/1082418533
Digital Object Identifier: doi:10.2178/jsl/1082418533
Mathematical Reviews number (MathSciNet): MR2058179
Zentralblatt MATH identifier: 1084.03032

References

Itay Ben-Yaacov Group configurations and germs in simple theories, Journal of Symbolic Logic, vol. 67 (2002), no. 4, pp. 1581--1600.
Mathematical Reviews (MathSciNet): MR1955655
Project Euclid: euclid.jsl/1190150301
Itay Ben-Yaacov, Ivan Tomašić, and Frank O. Wager Constructing an almost hyperdefinable group, preprint.
George M. Bergman and Hendrik W. Lenstra, Jr. Subgroups close to normal subgroups, Journal of Algebra, vol. 127 (1989), pp. 80--97.
Mathematical Reviews (MathSciNet): MR1029404
Digital Object Identifier: doi:10.1016/0021-8693(89)90275-5
Zentralblatt MATH: 0641.20023
Steven Buechler Essential stability theory, Springer-Verlag, Berlin,1996.
Mathematical Reviews (MathSciNet): MR1416106
Zentralblatt MATH: 0864.03025
Steven Buechler, Anand Pillay, and Frank O. Wagner Supersimple theories, Journal of the American Mathematical Society, vol. 14 (2001), pp. 109--124.
Mathematical Reviews (MathSciNet): MR1800350
Bradd Hart, Byunghan Kim, and Anand Pillay Coordinatisation and canonical bases in simple theories, Journal of Symbolic Logic, vol. 65 (2000), pp. 293--309.
Mathematical Reviews (MathSciNet): MR1782121
Anand Pillay Geometric stability theory, Clarendon Press,1996.
Mathematical Reviews (MathSciNet): MR1429864
Zentralblatt MATH: 0871.03023
Bruno Poizat Groupes stables, Nur al-Mantiq wal-Ma'rifah,1987.
Mathematical Reviews (MathSciNet): MR902156
G. Schlichting Operationen mit periodischen Stabilisatoren, Archiv der Mathematik, vol. 34 (1980), pp. 97--99.
Mathematical Reviews (MathSciNet): MR583752
Digital Object Identifier: doi:10.1007/BF01224936
Zentralblatt MATH: 0449.20004
Ziv Shami and Frank O. Wager On the binding group in simple theories, Journal of Symbolic Logic, vol. 67 (2002), no. 3, pp. 1016--1024.
Mathematical Reviews (MathSciNet): MR1925954
Project Euclid: euclid.jsl/1190150145
Ivan Tomašić and Frank O. Wagner Applications of the group configuration theorem in simple theories, Journal of Mathematical Logic, to appear.
Mathematical Reviews (MathSciNet): MR2030086
Digital Object Identifier: doi:10.1142/S0219061303000261
Zentralblatt MATH: 1043.03030
Frank O. Wager Simple theories, Kluwer Academic Publishers,2000.
Mathematical Reviews (MathSciNet): MR1747713
Zentralblatt MATH: 0948.03032

2013 © Association for Symbolic Logic

Journal of Symbolic Logic

Journal of Symbolic Logic

Turn MathJax Off
What is MathJax?