We provide a new criterion for embedding E0, 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σgroups.
Bibliographical notePublisher Copyright:
© 2014 World Scientific Publishing Company.
- Borel cardinality
- Descriptive set theory
- Lascar strong types
- bounded invariant equivalence relations
- model theory
- type definable groups