Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative
From MaRDI portal
(Redirected from Publication:403410)
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.
Recommendations
Cites work
- scientific article; zbMATH DE number 3843743 (Why is no real title available?)
- scientific article; zbMATH DE number 5676623 (Why is no real title available?)
- scientific article; zbMATH DE number 5722530 (Why is no real title available?)
- scientific article; zbMATH DE number 3900744 (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 3485716 (Why is no real title available?)
- scientific article; zbMATH DE number 3557754 (Why is no real title available?)
- scientific article; zbMATH DE number 1226875 (Why is no real title available?)
- scientific article; zbMATH DE number 1478228 (Why is no real title available?)
- scientific article; zbMATH DE number 1795233 (Why is no real title available?)
- scientific article; zbMATH DE number 1418440 (Why is no real title available?)
- scientific article; zbMATH DE number 3202577 (Why is no real title available?)
- scientific article; zbMATH DE number 3216177 (Why is no real title available?)
- scientific article; zbMATH DE number 3291139 (Why is no real title available?)
- scientific article; zbMATH DE number 3329922 (Why is no real title available?)
- scientific article; zbMATH DE number 2247263 (Why is no real title available?)
- scientific article; zbMATH DE number 3020563 (Why is no real title available?)
- scientific article; zbMATH DE number 3024120 (Why is no real title available?)
- A uniformly continuous function on [0,1] that is everywhere different from its infimum
- Almost the fan theorem.
- An intuitionistic proof of Kruskal's theorem
- Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative
- Brouwer’s Approximate Fixed-Point Theorem is Equivalent to Brouwer’s Fan Theorem
- Classifying Dini's theorem
- Constructivism in mathematics. An introduction. Volume I
- Dini’s Theorem in the Light of Reverse Mathematics
- Equivalents of the (weak) fan theorem
- Fixed point theory in weak second-order arithmetic
- On the foundations of constructive mathematics -- especially in relation to the theory of continuous functions
- Points and Spaces
- Some axioms for constructive analysis
- The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective
- The problem of determinacy of infinite games from an intuitionistic point of view
- Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis
- Two simple sets that are not positively Borel
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
- The monotone completeness theorem in constructive reverse mathematics
- A constructive picture of Noetherian conditions and well quasi-orders
- 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 anti-Specker property, a Heine-Borel property, and uniform continuity
- The prehistory of the subsystems of second-order arithmetic
- 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)
