A generalized Borel-reducibility counterpart of Shelah’s main gap theorem

Tapani Hyttinen, Vadim Kulikov, Miguel Moreno

Research output: Contribution to journalArticlepeer-review

4 Scopus citations

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 languageEnglish
Pages (from-to)175-185
Number of pages11
JournalArchive for Mathematical Logic
Volume56
Issue number3-4
DOIs
StatePublished - 1 May 2017
Externally publishedYes

Bibliographical note

Publisher Copyright:
© 2017, Springer-Verlag Berlin Heidelberg.

Keywords

  • Classification theory
  • Generalized descriptive set theory
  • Isomorphism
  • Main gap

Fingerprint

Dive into the research topics of 'A generalized Borel-reducibility counterpart of Shelah’s main gap theorem'. Together they form a unique fingerprint.

Cite this