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

Cached

Download Links

by Douglas K. Brown , Stephen G. Simpson
Venue:THE JOURNAL OF SYMBOLIC LOGIC
Citations:11 - 5 self