The following pages link to Choice Implies Excluded Middle (Q4168917):
Displayed 16 items.
- Reflections on function spaces (Q651312) (← links)
- Ideals in constructive Banach algebra theory (Q864422) (← links)
- Pre-apartness structures on spaces of functions (Q864436) (← links)
- The shrinking principle and the axiom of choice (Q996085) (← links)
- A minimalist two-level foundation for constructive mathematics (Q1032635) (← links)
- Semiprime ideals in general lattices (Q1115892) (← links)
- Bibliography of John Myhill (Q1192339) (← links)
- Constructive mathematics: a foundation for computable analysis (Q1292399) (← links)
- Unique existence, approximate solutions, and countable choice. (Q1427789) (← links)
- Functional interpretation of Aczel's constructive set theory (Q1577478) (← links)
- Constructing extensions of ultraweakly continuous linear functionals (Q1840580) (← links)
- Formal Zariski topology: Positivity and points (Q2575775) (← links)
- Extending constructive operational set theory by impredicative principles (Q3008060) (← links)
- ON ADOPTING KRIPKE SEMANTICS IN SET THEORY (Q3580661) (← links)
- Truth Definitions, Skolem Functions and Axiomatic Set Theory (Q4227856) (← links)
- Excluded Middle versus Choice in a topos (Q4680375) (← links)