Analytical choice sequences (0)

by A S Troelstra
Venue:Journal of Philosophical Logic