Pages that link to "Item:Q403410"

The following pages link to Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative (Q403410):

Displayed 14 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)
• 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)
• Retracing Cantor's first steps in Brouwer's company (Q1688956) ‎ (← links)
• The binary expansion and the intermediate value theorem in constructive reverse mathematics (Q1712938) ‎ (← links)
• Intuitionistic sequential compactness? (Q1788329) ‎ (← links)
• The creating subject, the Brouwer-Kripke schema, and infinite proofs (Q1788337) ‎ (← links)
• Equivalents of the finitary non-deterministic inductive definitions (Q2311215) ‎ (← links)
• Semantical completeness of first-order predicate logic and the weak fan theorem (Q2350974) ‎ (← links)
• The Monotone Completeness Theorem in Constructive Reverse Mathematics (Q3305629) ‎ (← links)
• Validating Brouwer's continuity principle for numbers using named exceptions (Q4640313) ‎ (← links)
• THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC (Q5274882) ‎ (← links)