Eventually Infinite Time Turing degrees: infinite time decidable reals (0)

by P D Welch
Venue:Journal of Symbolic Logic