Located Sets And Reverse Mathematics (1999)

by Mariagnese Giusto, Stephen G. Simpson
Venue:Journal of Symbolic Logic