The isomorphism relation of theories with S-DOP in the generalised Baire spaces

Miguel Moreno

Research output: Contribution to journalArticlepeer-review

1 Scopus citations

Abstract

We study the Borel-reducibility of isomorphism relations in the generalised Baire space κκ. In the main result we show for inaccessible κ, that if T is a classifiable theory and T is superstable with the strong dimensional order property (S-DOP), then the isomorphism of models of T is Borel reducible to the isomorphism of models of T. In fact we show the consistency of the following: If κ is inaccessible and T is a superstable theory with S-DOP, then the isomorphism of models of T is Σ11-complete.

Original languageEnglish
Article number103044
JournalAnnals of Pure and Applied Logic
Volume173
Issue number2
DOIs
StatePublished - Feb 2022

Bibliographical note

Publisher Copyright:
© 2021 Elsevier B.V.

Keywords

  • Classification theory
  • Dimensional order property
  • Generalised descriptive set theory
  • Isomorphism

Fingerprint

Dive into the research topics of 'The isomorphism relation of theories with S-DOP in the generalised Baire spaces'. Together they form a unique fingerprint.

Cite this