On Brouwer's continuity principle

DOI10.1016/J.INDAG.2018.01.012MaRDI QIDQ1788331zbMATH OpenOpenAlexWikidataFDO

Authors 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

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

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; zbMATH DE number 4070893
• Arguments for the Continuity Principle

Cites work

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

Cited in

(14)

• Splittings and disjunctions in reverse mathematics
• scientific article; zbMATH DE number 1795233 (Why is no real title available?)
• On the Brouwerian concept of negative continuity
• Representations and the foundations of mathematics
• The monotone completeness theorem in constructive reverse mathematics
• scientific article; zbMATH DE number 6288823 (Why is no real title available?)
• On the failure of BD-ℕ and BD, and an application to the anti-specker property
• scientific article; zbMATH DE number 4070893 (Why is no real title available?)
• A note on Brouwer's weak continuity principle and the transfer principle in nonstandard analysis
• scientific article; zbMATH DE number 5239372 (Why is no real title available?)
• Principles of bar induction and continuity on Baire space
• Decidable fan theorem and uniform continuity theorem with continuous moduli
• Bishop-Style Constructive Reverse Mathematics
• A note on non-classical nonstandard arithmetic

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)