Translator Disclaimer
2014 Baire Categoricity and Σ10-Induction
Stephen G. Simpson
Notre Dame J. Formal Logic 55(1): 75-78 (2014). DOI: 10.1215/00294527-2377887

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.

Citation

Download Citation

Stephen G. Simpson. "Baire Categoricity and Σ10-Induction." Notre Dame J. Formal Logic 55 (1) 75 - 78, 2014. https://doi.org/10.1215/00294527-2377887

Information

Published: 2014
First available in Project Euclid: 20 January 2014

zbMATH: 1331.03017
MathSciNet: MR3161413
Digital Object Identifier: 10.1215/00294527-2377887

Subjects:
Primary: 03B30
Secondary: 03F25, 54E52

Rights: Copyright © 2014 University of Notre Dame

JOURNAL ARTICLE
4 PAGES


SHARE
Vol.55 • No. 1 • 2014
Back to Top