English

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

Logic 2021-09-29 v5

Abstract

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

Keywords

Cite

@article{arxiv.1803.08070,
  title  = {The isomorphism relation of theories with S-DOP in generalized Baire spaces},
  author = {Miguel Moreno},
  journal= {arXiv preprint arXiv:1803.08070},
  year   = {2021}
}