The Borel cardinality of Lascar strong types
Logic
2017-05-17 v1
Abstract
We show that if the restriction of the Lascar equivalence relation to a KP-strong type is non-trivial, then it is non-smooth (when viewed as a Borel equivalence relation on an appropriate space of types).
Keywords
Cite
@article{arxiv.1301.1197,
title = {The Borel cardinality of Lascar strong types},
author = {Itay Kaplan and Benjamin Miller and Pierre Simon},
journal= {arXiv preprint arXiv:1301.1197},
year = {2017}
}