Pages that link to "Item:Q2465611"
From MaRDI portal
The following pages link to A fan-theoretic equivalent of the antithesis of Specker's theorem (Q2465611):
Displayed 16 items.
- The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma (Q408156) (← links)
- Reflections on function spaces (Q651312) (← 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)
- Sequences of real functions on [0,1] in constructive reverse mathematics (Q1001912) (← links)
- Intuitionistic sequential compactness? (Q1788329) (← links)
- Reclassifying the antithesis of Specker's theorem (Q1938392) (← links)
- Constructive notions of equicontinuity (Q2391094) (← links)
- On the constructive notion of closure maps (Q2910990) (← links)
- Z-stability in Constructive Analysis (Q2974781) (← links)
- Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem (Q3507452) (← links)
- The anti-Specker property, positivity, and total boundedness (Q3583807) (← links)
- BROUWER’S FAN THEOREM AND CONVEXITY (Q4647099) (← links)
- Nets and reverse mathematics (Q4995602) (← links)
- Bishop-Style Constructive Reverse Mathematics (Q5024576) (← links)
- A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC (Q5082051) (← links)