## The Baire category theorem in weak subsystems of second-order arithmetic (1993)

by
Douglas K. Brown
,
Stephen G. Simpson

Venue: | THE JOURNAL OF SYMBOLIC LOGIC |

Citations: | 11 - 5 self |