On Brouwer's continuity principle

DOI10.1016/J.INDAG.2018.01.012zbMATH Open1437.03175OpenAlexW2810055081WikidataQ129646156 ScholiaQ129646156MaRDI QIDQ1788331FDOQ1788331

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

Recommendations

• A continuity principle, a version of Baire's theorem and a boundedness principle
• Principles of bar induction and continuity on Baire space
• On the Brouwerian concept of negative continuity
• scientific article
• Arguments for the Continuity Principle

zbMATH Keywords

comprehensionboundedness principleweak Markov's principleBrouwer's continuity principle

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (12)

• Splittings and disjunctions in reverse mathematics
• On the Brouwerian concept of negative continuity
• Representations and the foundations of mathematics
• Title not available (Why is that?)
• On the failure of BD-ℕ and BD, and an application to the anti-specker property
• Title not available (Why is that?)
• Title not available (Why is that?)
• Decidable fan theorem and uniform continuity theorem with continuous moduli
• The Monotone Completeness Theorem in Constructive Reverse Mathematics
• Bishop-Style Constructive Reverse Mathematics
• A note on non-classical nonstandard arithmetic
• Title not available (Why is that?)

This page was built for publication: On Brouwer's continuity principle

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1788331)