Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 742

Preprint Number 742

Previous Next Preprint server

742. Krzysztof Krupiński and Tomasz Rzepecki
Smoothness of bounded invariant equivalence relations
E-mail: ,

Submission date: 29 June 2014.


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.

Mathematics Subject Classification: 03C45; 03E15; 03C60

Keywords and phrases: bounded invariant equivalence relations, Borel cardinality, model-theoretic connected components

Full text: pdf, dvi, ps.

Last updated: July 8 2014 16:57 Please send your corrections to: