An embedding theorem of 𝔼0 with model theoretic applications

DOI10.1142/S021906131450010XzbMath1338.03063arXiv1308.5515OpenAlexW1790204629MaRDI QIDQ5176256

Itay Kaplan, Benjamin D. Miller

Publication date: 3 March 2015

Published in: Journal of Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1308.5515

zbMATH Keywords

Lascar strong typesdescriptive set theoryBorel cardinalitytype-definable groupsbounded invariant equivalence relations\(\mathbb{E}_{0}\)

Mathematics Subject Classification ID

Descriptive set theory (03E15) Classification theory, stability, and related concepts in model theory (03C45)

Related Items

Topological dynamics and the complexity of strong types ⋮ EQUIVALENCE RELATIONS INVARIANT UNDER GROUP ACTIONS ⋮ SMOOTHNESS OF BOUNDED INVARIANT EQUIVALENCE RELATIONS ⋮ Galois groups as quotients of Polish groups

Cites Work

• Model theoretic connected components of groups
• The Borel cardinality of Lascar strong types
• Counting the number of equivalence classes of Borel and coanalytic equivalence relations
• The diameter of a Lascar strong type