Pages that link to "Item:Q424546"
From MaRDI portal
The following pages link to The intermediate value theorem in constructive mathematics without choice (Q424546):
Displaying 5 items.
- The double negation of the intermediate value theorem (Q636312) (← links)
- Unique existence, approximate solutions, and countable choice. (Q1427789) (← links)
- Spreads and choice in constructive mathematics. (Q1866471) (← links)
- A General Constructive Intermediate Value Theorem (Q3480038) (← links)
- Extensional constructive real analysis via locators (Q5156769) (← links)