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