Premium
On the reducibility of isomorphism relations
Author(s) -
Hyttinen Tapani,
Moreno Miguel
Publication year - 2017
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.201500062
Subject(s) - isomorphism (crystallography) , mathematics , isomorphism extension theorem , space (punctuation) , baire space , pure mathematics , property (philosophy) , borel equivalence relation , chain (unit) , isomorphism theorem , group isomorphism , combinatorics , discrete mathematics , borel measure , linguistics , automorphism , epistemology , probability measure , fixed point theorem , crystal structure , chemistry , philosophy , physics , astronomy , crystallography , picard–lindelöf theorem , automorphism group , inner automorphism
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 T ′ is stable with the orthogonal chain property (OCP), then the isomorphism of models of T is Borel reducible to the isomorphism of models of T ′ .