A continuity principle, a version of Baire's theorem and a boundedness principle
Publication:5502822
DOI10.2178/jsl/1230396924zbMath1160.03041MaRDI QIDQ5502822
Hajime Ishihara, Peter M. Schuster
Publication date: 9 January 2009
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2178/jsl/1230396924
constructive mathematics; reverse mathematics; Baire's theorem; continuity principles; boundedness principles; omniscience principles
54E52: Baire category, Baire spaces
03F60: Constructive and recursive analysis
26A15: Continuity and related questions (modulus of continuity, semicontinuity, discontinuities, etc.) for real functions in one variable
03B30: Foundations of classical theories (including reverse mathematics)
03F65: Other constructive mathematics
Related Items
Cites Work