A continuity principle, a version of Baire's theorem and a boundedness principle

DOI10.2178/JSL/1230396924zbMath1160.03041OpenAlexW2170548097MaRDI 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

zbMATH Keywords

constructive mathematicsreverse mathematicsBaire's theoremcontinuity principlesboundedness principlesomniscience principles

Mathematics Subject Classification ID

Baire category, Baire spaces (54E52) Constructive and recursive analysis (03F60) Continuity and related questions (modulus of continuity, semicontinuity, discontinuities, etc.) for real functions in one variable (26A15) Foundations of classical theories (including reverse mathematics) (03B30) Other constructive mathematics (03F65)

Related Items (7)

Continuous homomorphisms of R onto a compact group ⋮ On the failure of BD-ℕ and BD, and an application to the anti-specker property ⋮ Continuous isomorphisms from R onto a complete abelian group ⋮ Intuitionistic sequential compactness? ⋮ On the necessity of some topological spaces ⋮ Principles Weaker than BD-N ⋮ Minimum classical extensions of constructive theories

Cites Work

• Equivalents of the (weak) fan theorem
• Techniques of constructive analysis
• Constructivism in mathematics. An introduction. Volume II
• The continuum as a formal space
• A new constructive version of Baire's theorem
• Strong continuity implies uniform sequential continuity

This page was built for publication: A continuity principle, a version of Baire's theorem and a boundedness principle