Solution to a problem of Gandy's
Volume 81 / 1974
Fundamenta Mathematicae 81 (1974), 99-106
DOI: 10.4064/fm-81-2-99-106