The following pages link to (Q3407137):
Displaying 10 items.
- Convexity and constructive infima (Q334985) (← links)
- Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative (Q403410) (← links)
- Reflections on function spaces (Q651312) (← links)
- Glueing continuous functions constructively (Q982187) (← links)
- The intermediate value theorem: Preimages of compact sets under uniformly continuous functions (Q1124589) (← links)
- Intuitionistic sequential compactness? (Q1788329) (← links)
- Z-stability in Constructive Analysis (Q2974781) (← links)
- BROUWER’S FAN THEOREM AND CONVEXITY (Q4647099) (← links)
- New Computational Paradigms (Q5717045) (← links)
- Decidable fan theorem and uniform continuity theorem with continuous moduli (Q6047675) (← links)