1998], The \Pi 3-theory of the computably enumerable Turing degrees is undecidable (0)

by S Lempp, A Nies, T A Slaman
Venue:Trans. Am. Math. Soc