of closed subsets of a complete separable metric space in weak subsystems of second order arithmetic (1990)

by Notions
Venue:Contemporary Mathematics