Trivial reals (2003)

by Rodney G Downey, Denis R Hirschfeldt, André Nies, Frank Stephan
Venue:In Proceedings of the 7th and 8th Asian Logic Conferences