Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative
From MaRDI portal
Publication:403410
DOI10.1007/s00153-014-0384-9zbMath1327.03046arXiv1106.2738WikidataQ114018316 ScholiaQ114018316MaRDI QIDQ403410
Publication date: 29 August 2014
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1106.2738
Baire space; compact; real numbers; Brouwer's fan theorem; closed-and-separable; intuitionistic reverse mathematics; Kleene's alternative; positively non-compact
03F60: Constructive and recursive analysis
40A05: Convergence and divergence of series and sequences
03B30: Foundations of classical theories (including reverse mathematics)
03F35: Second- and higher-order arithmetic and fragments
03F55: Intuitionistic mathematics
Related Items
Validating Brouwer's continuity principle for numbers using named exceptions, Bishop-Style Constructive Reverse Mathematics, A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC, THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC, Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative, The uniform boundedness theorem and a boundedness principle, The anti-Specker property, a Heine-Borel property, and uniform continuity, Kronecker's density theorem and irrational numbers in constructive reverse mathematics, Problems, solutions, and completions, Retracing Cantor's first steps in Brouwer's company, The binary expansion and the intermediate value theorem in constructive reverse mathematics, Intuitionistic sequential compactness?, The creating subject, the Brouwer-Kripke schema, and infinite proofs, Intuitionism: an inspiration?, Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts, Equivalents of the finitary non-deterministic inductive definitions, Semantical completeness of first-order predicate logic and the weak fan theorem, The Monotone Completeness Theorem in Constructive Reverse Mathematics
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative
- Some axioms for constructive analysis
- Equivalents of the (weak) fan theorem
- Classifying Dini's theorem
- Fixed point theory in weak second-order arithmetic
- A uniformly continuous function on [0,1 that is everywhere different from its infimum]
- Constructivism in mathematics. An introduction. Volume I
- An intuitionistic proof of Kruskal's theorem
- Two simple sets that are not positively Borel
- On the foundations of constructive mathematics -- especially in relation to the theory of continuous functions
- Dini’s Theorem in the Light of Reverse Mathematics
- Brouwer’s Approximate Fixed-Point Theorem is Equivalent to Brouwer’s Fan Theorem
- The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective
- Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis
- Points and Spaces