No CrossRef data available.
Article contents
On the binding group in simple theories
Published online by Cambridge University Press: 12 March 2014
Abstract
We show that if p is a real type which is almost internal in a formula φ in a simple theory, then there is a type p′ interalgebraic with a finite tuple of realizations of p, which is generated over φ. Moreover, the group of elementary permutations of p′ over all realizations of φ is type-definable.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2002
References
REFERENCES
[1]Bergman, George M. and Lenstra, Hendrik W. Jr., Subgroups close to normal subgroups, Journal of Algebra, vol. 127 (1989), pp. 80–97.CrossRefGoogle Scholar
[2]Buechler, Steven, Essential stability theory, Springer Verlag, Berlin, Germany, 1996.CrossRefGoogle Scholar
[3]Buechler, Steven, Pillay, Anand, and Wagner, Frank O., Supersimple theories, Journal of the American Mathematical Society, vol. 14 (2001), pp. 109–124.CrossRefGoogle Scholar
[4]Pillay, Anand, Geometric stability theory, Clarendon Press, Oxford, UK, 1996.CrossRefGoogle Scholar
[5]Poizat, Bruno, Groupes stables, Nur al-Mantiq wal-Ma'rifah, Villeurbanne, France, 1987, Translated as: Stable Groups, AMS Mathematical Surveys and Monographs vol. 87, Providence, USA, 2001.Google Scholar
[6]Schlichting, G., Operationen mit periodischen Stabilisatoren, Archiv der Mathematik (Basel), vol. 34 (1980), pp. 97–99.CrossRefGoogle Scholar
[7]Shami, Ziv, Internality and interpretable automorphism groups in simple theories, To appear.Google Scholar
[8]Wagner, Frank O., Simple theories, Kluwer Academic Publishers, Dordrecht, The Netherlands, 2000.CrossRefGoogle Scholar