The following pages link to Constructive continuity (Q3322336):
Displaying 14 items.
- A constructive real projective plane (Q265603) (← links)
- Undecidability of Uzawa equivalence theorem and LLPO (Lesser limited principle of omniscience) (Q945261) (← links)
- The Gibbard-Satterthwaite theorem of social choice theory in an infinite society and LPO (limited principle of omniscience) (Q990626) (← links)
- Unique existence, approximate solutions, and countable choice. (Q1427789) (← links)
- On Brouwer's continuity principle (Q1788331) (← links)
- Completeness: when enough is enough (Q2003502) (← links)
- McShane-Whitney pairs (Q2011674) (← links)
- Near convexity, metric convexity, and convexity (Q2478026) (← links)
- Metrization of the One-Point Compactification (Q3830210) (← links)
- Continuity and nondiscontinuity in constructive mathematics (Q3984410) (← links)
- Bishop-Style Constructive Reverse Mathematics (Q5024576) (← links)
- (Q5216312) (← links)
- Constructive projective extension of an incidence plane (Q5402107) (← links)
- Converses of Bishop's lemma on located sets (Q5935882) (← links)
