Abstract
We investigate the reverse-mathematical status of a version of the Baire category theorem known as BCT. In a 1993 paper Brown and Simpson showed that BCT is provable in RCA0. We now show that BCT is equivalent to RCA0 over RCA0∗.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
