Over ZFC, we prove that CH is equivalent to the existence of Cofinal maximal chains in the Turing degrees of order type \(\omega_1\). However, it is consistent with ZF that they are not equivalent. We also present some applications of the result to the theory of equivalence relations.
CH and Cofinal maximal chains in the Turing degrees
28.05.2015 15:00 - 16:30
Organiser:
KGRC
Location:
SR 101, 2. St., Währinger Str. 25