On Brouwer's continuity principle
From MaRDI portal
Publication:1788331
DOI10.1016/j.indag.2018.01.012zbMath1437.03175OpenAlexW2810055081WikidataQ129646156 ScholiaQ129646156MaRDI QIDQ1788331
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
Constructive and recursive analysis (03F60) Foundations of classical theories (including reverse mathematics) (03B30)
Related Items (6)
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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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
This page was built for publication: On Brouwer's continuity principle
