On the reducibility of isomorphism relations
classification
🧮 math.LO
keywords
isomorphismkappaborelmodelsreducibilityrelationsbaireclassifiable
read the original 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 $T$ is a classifiable theory and $T'$ is stable with OCP, then the isomorphism of models of $T$ is Borel reducible to the isomorphism of models of $T'$.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.