Equivalents of the (weak) fan theorem
From MaRDI portal
Publication:703836
DOI10.1016/J.APAL.2004.07.002zbMath1060.03081OpenAlexW1982061352MaRDI QIDQ703836
Publication date: 11 January 2005
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2004.07.002
Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Intuitionistic mathematics (03F55)
Related Items (17)
Constructive notions of equicontinuity ⋮ Decidable fan theorem and uniform continuity theorem with continuous moduli ⋮ Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative ⋮ Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$ ⋮ The uniform boundedness theorem and a boundedness principle ⋮ The binary expansion and the intermediate value theorem in constructive reverse mathematics ⋮ Some axioms for constructive analysis ⋮ The anti-Specker property, a Heine-Borel property, and uniform continuity ⋮ The Monotone Completeness Theorem in Constructive Reverse Mathematics ⋮ A fan-theoretic equivalent of the antithesis of Specker's theorem ⋮ Kronecker's density theorem and irrational numbers in constructive reverse mathematics ⋮ The anti-Specker property, positivity, and total boundedness ⋮ The pseudocompactness of [0.1 is equivalent to the uniform continuity theorem] ⋮ Intuitionistic sequential compactness? ⋮ Problems, solutions, and completions ⋮ A continuity principle, a version of Baire's theorem and a boundedness principle ⋮ Semantical completeness of first-order predicate logic and the weak fan theorem
Cites Work
This page was built for publication: Equivalents of the (weak) fan theorem
