Pages that link to "Item:Q4680375"
From MaRDI portal
The following pages link to Excluded Middle versus Choice in a topos (Q4680375):
Displaying 6 items.
- The shrinking principle and the axiom of choice (Q996085) (← links)
- The definitions of middle object and weak topos (Q2702828) (← links)
- CHARACTERIZING THE 'PRINCIPLES' OF NON CONTRADICTION AND EXCLUDED MIDDLE IN [0,1] (Q3564729) (← links)
- Restricted internal choice in a topos (Q3688525) (← links)
- EM + Ext<sub>−</sub> + AC<sub>int</sub> is equivalent to AC<sub>ext</sub> (Q4736750) (← links)
- The Continuum Hypothesis Implies Excluded Middle (Q5221835) (← links)