Corpus ID: 119579070

A Borel-reducibility Counterpart of Shelah's Main Gap Theorem

  title={A Borel-reducibility Counterpart of Shelah's Main Gap Theorem},
  author={T. Hyttinen and V. Kulikov and M. Moreno},
  journal={arXiv: Logic},
  • T. Hyttinen, V. Kulikov, M. Moreno
  • Published 2016
  • Mathematics
  • arXiv: Logic
  • We study the Borel-reducibility of isomorphism relations of complete first order theories and show the consistency of the following: For all such theories T and T', if T is classifiable and T' is not, then the isomorphism of models of T' is strictly above the isomorphism of models of T with respect to Borel-reducibility. In fact, we can also ensure that a range of equivalence relations modulo various non-stationary ideals are strictly between those isomorphism relations. The isomorphism… CONTINUE READING
    2 Citations
    Questions on generalised Baire spaces
    • 19
    • PDF


    On the reducibility of isomorphism relations
    • 6
    • PDF
    Constructing Strongly Equivalent Nonisomorphic Models for Unstable Theories
    • 46
    Borel* Sets in the Generalised Baire Space
    • 5
    • PDF
    Set theory, Studies in Logic: Mathematical Logic and Foundations
    • (College Publications,
    • 2011
    Classification theory, Stud
    • Logic Found. Math
    • 1990
    Invariant sets in topology and logic
    • 103
    • PDF