The following pages link to (Q3407137):
Displayed 6 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)
- Intuitionistic sequential compactness? (Q1788329) (← links)
- Z-stability in Constructive Analysis (Q2974781) (← links)