Smoothness of bounded invariant equivalence relations

DOI10.1017/JSL.2015.44zbMATH Open1436.03187OpenAlexW3105165578MaRDI QIDQ2805040FDOQ2805040

Authors Krzysztof Krupiński, Tomasz Rzepecki 

Publication date 9 May 2016

Published in The Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

Borel cardinalitymodel-theoretic connected componentsbounded invariant equivalence relations

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Model-theoretic algebra (03C60) Descriptive set theory (03E15)

Abstract: We generalise the main theorems from the paper "The Borel cardinality of Lascar strong types" by I. Kaplan, B. Miller and P. Simon to a wider class of bounded invariant equivalence relations. We apply them to describe relationships between fundamental properties of bounded invariant equivalence relations (such as smoothness or type-definability) which also requires finding a series of counterexamples. Finally, we apply the generalisation mentioned above to prove a conjecture from a paper by the first author and J. Gismatullin, showing that the key technical assumption of the main theorem (concerning connected components in definable group extensions) from that paper is not only sufficient but also necessary to get the conclusion.

Recommendations

• EQUIVALENCE RELATIONS INVARIANT UNDER GROUP ACTIONS
• The smooth ideal
• Borel equivalence relations induced by actions of the symmetric group
• Topological dynamics and the complexity of strong types
• Smooth Sets for a Borel Equivalence Relation

Cites Work

• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 976831 (Why is no real title available?)
• scientific article; zbMATH DE number 1772585 (Why is no real title available?)
• An embedding theorem of \(\mathbb{E}_{0}\) with model theoretic applications
• BOREL EQUIVALENCE RELATIONS AND LASCAR STRONG TYPES
• Connected components of definable groups and o-minimality. I
• Galois groups of first order theories
• Model theoretic connected components of groups
• TYPE-DEFINABILITY, COMPACT LIE GROUPS, AND o-MINIMALITY
• The Borel cardinality of Lascar strong types
• The diameter of a Lascar strong type
• \(G\)-compactness and groups

Cited In (6)

• Product of invariant types modulo domination-equivalence
• Topological dynamics and the complexity of strong types
• Galois groups as quotients of Polish groups
• Title not available (Why is no real title available?)
• EQUIVALENCE RELATIONS INVARIANT UNDER GROUP ACTIONS
• Generalised Bohr compactification and model-theoretic connected components

This page was built for publication: Smoothness of bounded invariant equivalence relations

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