Abstract
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.
Original language | English |
---|---|
Article number | 1450010 |
Journal | Journal of Mathematical Logic |
Volume | 14 |
Issue number | 2 |
DOIs | |
State | Published - 13 Dec 2014 |
Bibliographical note
Publisher Copyright:© 2014 World Scientific Publishing Company.
Keywords
- Borel cardinality
- Descriptive set theory
- E
- Lascar strong types
- bounded invariant equivalence relations
- model theory
- type definable groups