Pages that link to "Item:Q403410"
From MaRDI portal
The following pages link to Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative (Q403410):
Displayed 20 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)
- Intuitionism: an inspiration? (Q2065727) (← links)
- Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts (Q2144614) (← 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)
- Bishop-Style Constructive Reverse Mathematics (Q5024576) (← links)
- A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC (Q5082051) (← links)
- THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC (Q5274882) (← links)
- EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES (Q6072335) (← links)
- A constructive picture of Noetherian conditions and well quasi-orders (Q6149029) (← links)