comeagre sets, and degrees of unsolvability (1976)

by Banach-Mazur games
Venue:Mathematical Proceedings of the Cambridge Philosophical Society