The Baire category theorem in weak subsystems of second-order arithmetic
Brown, Douglas K., Simpson, Stephen G.Volume:
58
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2275219
Date:
June, 1993
File:
PDF, 1.28 MB
english, 1993