Abstract
We introduce the notion of normal hyperimaginary and we develop its basic theory. We present a new proof of the Lascar-Pillay theorem on bounded hyperimaginaries based on properties of normal hyperimaginaries. However, the use of the Peter–Weyl theorem on the structure of compact Hausdorff groups is not completely eliminated from the proof. In the second part, we show that all closed sets in Kim-Pillay spaces are equivalent to hyperimaginaries and we use this to introduce an approximation of φ-types for bounded hyperimaginaries.
Similar content being viewed by others
References
Buechler S., Pillay A., Wagner F.O.: Supersimple theories. J. Am. Math. Soc. 14, 109–124 (2000)
Casanovas E.: Simple Theories and Hyperimaginaries, Vol. 39 of Lecture Notes in Logic. Cambridge University Press, Cambridge (2011)
Lascar D., Pillay A.: Hyperimaginaries and automorphism groups. J. Symb. Log. 66, 127–143 (2001)
Ziegler, M.: Introduction to the Lascar group. In: Tent, K. (ed.) Tits Buildings and the Model Theory of Groups, No. 291 in London Mathematical Society Lecture Notes Series, pp. 279–298. Cambridge University Press, Cambridge (2002)
Author information
Authors and Affiliations
Corresponding author
Additional information
Partially supported by grants MTM 2011-26840 of Spanish Ministry of Economy and Competitiveness and 2009SGR-187 of Catalan Government.
Rights and permissions
About this article
Cite this article
Casanovas, E., Potier, J. Normal hyperimaginaries. Arch. Math. Logic 53, 583–591 (2014). https://doi.org/10.1007/s00153-014-0382-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-014-0382-y
Keywords
- Bounded hyperimaginaries
- Finitary hyperimaginaries
- Peter–Weyl theorem
- Kim-Pillay equivalence relation
- Types over hyperimaginaries