On Brouwer's continuity principle

DOI10.1016/j.indag.2018.01.012zbMath1437.03175OpenAlexW2810055081MaRDI QIDQ1788331

Hajime Ishihara

Publication date: 8 October 2018

Published in: Indagationes Mathematicae. New Series (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.indag.2018.01.012

zbMATH Keywords

comprehensionboundedness principleweak Markov's principleBrouwer's continuity principle

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Foundations of classical theories (including reverse mathematics) (03B30)

Related Items

Representations and the foundations of mathematics, Splittings and disjunctions in reverse mathematics, Decidable fan theorem and uniform continuity theorem with continuous moduli, A note on non-classical nonstandard arithmetic, The Monotone Completeness Theorem in Constructive Reverse Mathematics, Bishop-Style Constructive Reverse Mathematics

Cites Work

• The uniform boundedness theorem and a boundedness principle
• Realizability models refuting Ishihara's boundedness principle
• Techniques of constructive analysis
• Some principles weaker than Markov's principle
• Constructivism in mathematics. An introduction. Volume I
• Constructivism in mathematics. An introduction. Volume II
• Markov's principle, Church's thesis and Lindelöf's theorem
• Infinite sets that Satisfy the Principle of Omniscience in any Variety of Constructive Mathematics
• Constructively Complete Finite Sets
• Constructive continuity
• Continuity and nondiscontinuity in constructive mathematics
• Continuity properties in constructive mathematics
• A constructive look at the completeness of the space (ℝ)
• On Weak Markov's Principle
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• On effectively discontinuous type-2 objects
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item