Smoothness of bounded invariant equivalence relations

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

Authors: Krzysztof Krupiński, Tomasz Rzepecki 

Publication date: 9 May 2016

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

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.

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

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

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)

Cites Work

• Title not available (Why is that?)
• Galois groups of first order theories
• Title not available (Why is that?)
• The diameter of a Lascar strong type
• Connected components of definable groups and o-minimality. I
• Title not available (Why is that?)
• \(G\)-compactness and groups
• Model theoretic connected components of groups
• TYPE-DEFINABILITY, COMPACT LIE GROUPS, AND o-MINIMALITY
• The Borel cardinality of Lascar strong types
• An embedding theorem of 𝔼₀ with model theoretic applications
• BOREL EQUIVALENCE RELATIONS AND LASCAR STRONG TYPES

Cited In (5)

• Topological dynamics and the complexity of strong types
• Galois groups as quotients of Polish groups
• Title not available (Why is that?)
• 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)