On the reducibility of isomorphism relations

Mathematical Logic Quarterly 63 (3-4):175-192 (2017)
  Copy   BIBTEX

Abstract

We study the Borel reducibility of isomorphism relations in the generalized Baire space. In the main result we show for inaccessible κ, that if T is a classifiable theory and is stable with the orthogonal chain property (OCP), then the isomorphism of models of T is Borel reducible to the isomorphism of models of.

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,951

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

On Unsuperstable Theories in Gdst.Miguel Moreno - 2024 - Journal of Symbolic Logic 89 (4):1720-1746.
Isomorphism of Locally Compact Polish Metric Structures.Maciej Malicki - 2024 - Journal of Symbolic Logic 89 (2):646-664.
Comparing Borel Reducibility and Depth of an ω-Stable Theory.Martin Koerwien - 2009 - Notre Dame Journal of Formal Logic 50 (4):365-380.
On Borel equivalence relations in generalized Baire space.Sy-David Friedman & Tapani Hyttinen - 2012 - Archive for Mathematical Logic 51 (3-4):299-304.
A complicated ω-stable depth 2 theory.Martin Koerwien - 2011 - Journal of Symbolic Logic 76 (1):47 - 65.
Isomorphism of Homogeneous Structures.John D. Clemens - 2009 - Notre Dame Journal of Formal Logic 50 (1):1-22.

Analytics

Added to PP
2017-10-25

Downloads
30 (#845,584)

6 months
9 (#461,271)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

On Unsuperstable Theories in Gdst.Miguel Moreno - 2024 - Journal of Symbolic Logic 89 (4):1720-1746.

Add more citations