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 . In the main result we show for inaccessible , that if is a classifiable theory and is superstable with the strong dimensional order property (S-DOP), then the isomorphism of models of is Borel reducible to the isomorphism of models of . In fact we show the consistency of the following: If is inaccessible and is a superstable theory with S-DOP, then the isomorphism of models of is -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}
}