Abstract.
We characterise imaginaries (up to interdefinability) in Hilbert spaces using a Galois theory for compact unitary groups.
Similar content being viewed by others
References
Berenstein, A., Buechler, S.: Homogeneous expansions of Hilbert spaces. Annals of Pure and Allied Logic (to appear)
Ben-Yaacov, I.: Simplicity in compact abstract theories. Journal of Mathematical Logic (to appear)
Ben-Yaacov, I.: Thickness, and a categoric view of type-space functors. Fundamenta Mathematicae (to appear)
Ben-Yaacov, I.: Positive model theory and compact abstract theories. J. Math. Logic 3 (1), 85–118 (2003)
Berenstein, A.: Dividing in the C *-algebra of compact operators. Preprint, 2002
Buechler, S., Pillay, A., Wagner, F.O.: Supersimple theories. J. Am. Math. Soc. 14, 109–124 (2001)
Ward Henson, C., Iovino, J.: Ultraproducts in Analysis. Analysis and Logic, Catherine Finet and Christian Michaux, (eds.), London Mathematical Society Lecture Notes Series, 262, Campridge University Press, 2002
Hoffmann, K.H., Morris, S.A.:The structure of compact groups. de Gruyter Studies in Mathematics, 25, Walter de Gruyter, 1998
Iovino, J.: Stable Banach spaces and Banach space structures, I and II. Models, Algebras, and Proofs (Bogotá, 1995), Lectures Notes in Pure and Appl. Math., 203, Dekker, New York, 1999, pp. 77–117
Lascar, D., Pillay, A.: Hyperimaginaries and automorphism groups. J. Symbolic Logic 66, 127–143 (2001)
Author information
Authors and Affiliations
Corresponding author
Additional information
The authors would like to thank Frank Wagner and the CIRM for their hospitality during the Simpleton 2002 meeting during which the discussions that led to this paper took place.
The first author would like to thank Ilan Hirshberg for a few important hints
At the time of the writing of this paper, the first author was a graduate student with the Équipe de logique mathématique of Université Paris VII
Mathematics Subject Classification (2000): 03C45, 03C95
Rights and permissions
About this article
Cite this article
Ben-Yaacov, I., Berenstein, A. Imaginaries in Hilbert spaces. Arch. Math. Logic 43, 459–466 (2004). https://doi.org/10.1007/s00153-003-0200-4
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-003-0200-4