论文信息 - The Borel cardinality of Lascar strong types - 字舞流文

The Borel cardinality of Lascar strong types

We show that if the restriction of the Lascar equivalence relation to a KP-strong type is non-trivial, then it is non-smooth (when viewed as a Borel equivalence relation on an appropriate space of types).

Pierre Simon | Itay Kaplan | Benjamin D. Miller

[1] J. Silver,et al. Counting the number of equivalence classes of Borel and coanalytic equivalence relations , 1980 .

[2] Anand Pillay,et al. Galois Groups of First order Theories , 2001, J. Math. Log..

[3] M. Ziegler,et al. A Course in Model Theory , 2012 .

[4] A. Kechris,et al. The Descriptive Set Theory of Polish Group Actions: BETTER TOPOLOGIES , 1996 .

[5] Alain Louveau,et al. A Glimm-Effros dichotomy for Borel equivalence relations , 1990 .

[6] Wilfrid Hodges,et al. Model Theory: The existential case , 1993 .

[7] Ludomir Newelski. The diameter of a Lascar strong type , 2003 .

[8] Anand Pillay,et al. Borel Equivalence Relations and Lascar Strong Types , 2013, J. Math. Log..

[9] Alexander S. Kechris,et al. The Descriptive Set Theory of Polish Group Actions: DESCRIPTIVE SET THEORY , 1996 .

[10] A. Kechris. Classical descriptive set theory , 1987 .

[11] Enrique Casanovas,et al. Simple Theories and Hyperimaginaries , 2011 .

[12] Ludomir Newelski,et al. Weak generic types and coverings of groups I , 2006 .