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

Tapani Hyttinen, Vadim Kulikov, Miguel Moreno

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 classif…