Minimality arguments in the infinite time Turing degrees (1999)

by P D Welch
Venue:Sets and Proofs: Proc. Logic Colloquium 1997, Leeds, volume 258 of London Mathematical Society Lecture Notes in Mathematics. C.U.P