Pages that link to "Item:Q703836"

The following pages link to Equivalents of the (weak) fan theorem (Q703836):

Displaying 16 items.

• Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative (Q403410) (← links)
• The uniform boundedness theorem and a boundedness principle (Q424547) (← links)
• Some axioms for constructive analysis (Q453178) (← links)
• The anti-Specker property, a Heine-Borel property, and uniform continuity (Q926186) (← links)
• Kronecker's density theorem and irrational numbers in constructive reverse mathematics (Q969624) (← links)
• Problems, solutions, and completions (Q1044674) (← links)
• The binary expansion and the intermediate value theorem in constructive reverse mathematics (Q1712938) (← links)
• Intuitionistic sequential compactness? (Q1788329) (← links)
• Semantical completeness of first-order predicate logic and the weak fan theorem (Q2350974) (← links)
• Constructive notions of equicontinuity (Q2391094) (← links)
• A fan-theoretic equivalent of the antithesis of Specker's theorem (Q2465611) (← links)
• The Monotone Completeness Theorem in Constructive Reverse Mathematics (Q3305629) (← links)
• The pseudocompactness of [0.1] is equivalent to the uniform continuity theorem (Q5444707) (← links)
• A continuity principle, a version of Baire's theorem and a boundedness principle (Q5502822) (← links)
• Decidable fan theorem and uniform continuity theorem with continuous moduli (Q6047675) (← links)
• Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$ (Q6096807) (← links)