An embedding theorem of E₀ with model theoretic applications

DOI10.1142/S021906131450010XMaRDI QIDQ5176256zbMATH OpenOpenAlexFDO

Authors 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

\(\mathbb{E}_{0}\)Borel cardinalitybounded invariant equivalence relationsdescriptive set theoryLascar strong typestype-definable groups

Mathematics Subject Classification ID

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

Abstract: We provide a new criterion for embedding $mathbb{E}_0$, and apply it to equivalence relations in model theory. This generalize the results of the authors and Pierre Simon on the Borel cardinality of Lascar strong types equality, and Newelski's results about pseudo $F_{sigma}$ groups.

Recommendations

• BOREL EQUIVALENCE RELATIONS AND LASCAR STRONG TYPES
• Some applications of regular markers
• A Note on Borel Equivalence Relations
• scientific article; zbMATH DE number 2204765
• Analytic equivalence relations and bi-embeddability

Cites work

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

Cited in

(4)

• Topological dynamics and the complexity of strong types
• Smoothness of bounded invariant equivalence relations
• EQUIVALENCE RELATIONS INVARIANT UNDER GROUP ACTIONS
• Galois groups as quotients of Polish groups

This page was built for publication: An embedding theorem of \(\mathbb{E}_{0}\) with model theoretic applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5176256)