The following pages link to (Q5310896):
Displaying 6 items.
- The double negation of the intermediate value theorem (Q636312) (← links)
- Intuitionism: an inspiration? (Q2065727) (← links)
- The Intermediate Value Theorem Is NOT Obvious—and I Am Going to Prove It to You (Q2901232) (← links)
- On the constructive notion of closure maps (Q2910990) (← links)
- A General Constructive Intermediate Value Theorem (Q3480038) (← links)
- Connectedness of the continuum in intuitionistic mathematics (Q5109234) (← links)