Abstract
We study the κ-Borel-reducibility of isomorphism relations of complete first order theories in a countable language and show the consistency of the following: For all such theories T and T′, if T is classifiable and T′ is not, then the isomorphism of models of T′ is strictly above the isomorphism of models of T with respect to κ-Borel-reducibility. In fact, we can also ensure that a range of equivalence relations modulo various non-stationary ideals are strictly between those isomorphism relations. The isomorphism relations are considered on models of some fixed uncountable cardinality obeying certain restrictions.
| Original language | English |
|---|---|
| Pages (from-to) | 175-185 |
| Number of pages | 11 |
| Journal | Archive for Mathematical Logic |
| Volume | 56 |
| Issue number | 3-4 |
| DOIs | |
| State | Published - 1 May 2017 |
| Externally published | Yes |
Bibliographical note
Publisher Copyright:© 2017, Springer-Verlag Berlin Heidelberg.
Keywords
- Classification theory
- Generalized descriptive set theory
- Isomorphism
- Main gap