On Bounded Type-Definable Equivalence Relations
Krzysztof Krupiński and Ludomir Newelski
Source: Notre Dame J. Formal Logic Volume 43, Number 4
(2002), 231-242.
Abstract
We investigate some topological properties of the spaces of classes of bounded type-definable equivalence relations.
First Page:
Show
Hide
Primary Subjects:
03C45
Full-text: Open access
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.ndjfl/1074396308
Digital Object Identifier: doi:10.1305/ndjfl/1074396308
Mathematical Reviews number (MathSciNet): MR2034748
Zentralblatt MATH identifier: 1050.03026
References
[1] Hrushovski, E., "Simplicity and the Lascar group", preprint, 1997.
[2] Kim, B., "A note on Lascar strong types in simple theories", The Journal of Symbolic Logic, vol. 63 (1998), pp. 926--36.
Mathematical Reviews (MathSciNet): MR2000a:03053
Zentralblatt MATH: 0961.03030
JSTOR: links.jstor.org
[3] Lascar, D., "The group of automorphisms of a relational saturated structure", pp. 225--36 in Finite and Infinite Combinatorics in Sets and Logic, vol. 411 of NATO Science Series: Mathematical and Physical Sciences, Kluwer Academic Publishers, Dordrecht, 1993.
Mathematical Reviews (MathSciNet): MR95d:03060
Zentralblatt MATH: 0845.03015
[4] Lascar, D., and A. Pillay, "Hyperimaginaries and automorphism groups", The Journal of Symbolic Logic, vol. 66 (2001), pp. 127--43.
Mathematical Reviews (MathSciNet): MR2002f:03067
Zentralblatt MATH: 1002.03027
JSTOR: links.jstor.org
[5] Pillay, A., "Compact groups and automorphism groups", lecture notes, Barcelona, 1997.
[6] Pillay, A., and B. Poizat, ``Pas d'imaginaires dans l'infini!'' The Journal of Symbolic Logic, vol. 52 (1987), pp. 400--403.
[7] Weil, A., L'intègration dans les Groupes Topologiques et ses Applications, Actualités Scientifiques et Industrielles, Hermann, Paris, 1940.
Mathematical Reviews (MathSciNet): MR3,198b
Zentralblatt MATH: 0063.08195
Notre Dame Journal of Formal Logic
