Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative

DOI10.1007/S00153-014-0384-9zbMATH Open1327.03046arXiv1106.2738OpenAlexW1979862983WikidataQ114018316 ScholiaQ114018316MaRDI QIDQ403410FDOQ403410

Authors: Wim Veldman 

Publication date: 29 August 2014

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Abstract: The paper is a contribution to intuitionistic reverse mathematics. We introduce a formal system called Basic Intuitionistic Mathematics BIM, and then search for statements that are, over BIM, equivalent to Brouwer's Fan Theorem or to its positive denial, Kleene's Alternative to the Fan Theorem. The Fan Theorem is true under the intended intuitionistic interpretation and Kleene's Alternative is true in the model of BIM consisting of the Turing-computable functions. The task of finding equivalents of Kleene's Alternative is, intuitionistically, a nontrivial extension of finding equivalents of the Fan Theorem, although there is a certain symmetry in the arguments that we shall try to make transparent. We introduce closed-and-separable subsets of Baire space and of the set of the real numbers. Such sets may be compact and also positively noncompact. The Fan Theorem is the statement that Cantor space, or, equivalently, the unit interval, is compact, and Kleene's Alternative is the statement that Cantor space, or, equivalently, the unit interval is positively noncompact. The class of the compact closed-and-separable sets and also the class of the closed-and-separable sets that are positively noncompact are characterized in many different ways and a host of equivalents of both the Fan Theorem and Kleene's Alternative is found.

Full work available at URL: https://arxiv.org/abs/1106.2738

Recommendations

• Equivalents of the (weak) fan theorem
• A decomposition of Brouwer's fan theorem
• A separation result for varieties of Brouwer's fan theorem
• On choice principles and fan theorems
• Brouwer’s Approximate Fixed-Point Theorem is Equivalent to Brouwer’s Fan Theorem

zbMATH Keywords

Baire spacecompactBrouwer's fan theoremreal numbersclosed-and-separableintuitionistic reverse mathematicsKleene's alternativepositively non-compact

Mathematics Subject Classification ID

Convergence and divergence of series and sequences (40A05) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Intuitionistic mathematics (03F55) Constructive and recursive analysis (03F60)

Cites Work

• Constructivism in mathematics. An introduction. Volume I
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A uniformly continuous function on [0,1] that is everywhere different from its infimum
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Dini’s Theorem in the Light of Reverse Mathematics
• Brouwer’s Approximate Fixed-Point Theorem is Equivalent to Brouwer’s Fan Theorem
• The problem of determinacy of infinite games from an intuitionistic point of view
• Almost the fan theorem.
• Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative
• Some axioms for constructive analysis
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Points and Spaces
• Equivalents of the (weak) fan theorem
• Classifying Dini's theorem
• Fixed point theory in weak second-order arithmetic

Cited In (21)

• Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative
• A marriage of Brouwer's intuitionism and Hilbert's finitism. I: Arithmetic
• Equivalents of the (weak) fan theorem
• Kronecker's density theorem and irrational numbers in constructive reverse mathematics
• Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts
• Equivalents of the finitary non-deterministic inductive definitions
• A constructive picture of Noetherian conditions and well quasi-orders
• The monotone completeness theorem in constructive reverse mathematics
• The uniform boundedness theorem and a boundedness principle
• The creating subject, the Brouwer-Kripke schema, and infinite proofs
• Semantical completeness of first-order predicate logic and the weak fan theorem
• EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES
• Intuitionistic sequential compactness?
• Bishop-Style Constructive Reverse Mathematics
• Validating Brouwer's continuity principle for numbers using named exceptions
• Problems, solutions, and completions
• Intuitionism: an inspiration?
• Retracing Cantor's first steps in Brouwer's company
• The prehistory of the subsystems of second-order arithmetic
• The anti-Specker property, a Heine-Borel property, and uniform continuity
• The binary expansion and the intermediate value theorem in constructive reverse mathematics

This page was built for publication: Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative

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