Located sets and reverse mathematics (0)

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