Pages that link to "Item:Q5387332"
From MaRDI portal
The following pages link to The axiom of choice and the law of excluded middle in weak set theories (Q5387332):
Displaying 5 items.
- The weak choice principle WISC may fail in the category of sets (Q497424) (← links)
- On the Constructive and Computational Content of Abstract Mathematics (Q3305627) (← links)
- CHARACTERIZING THE 'PRINCIPLES' OF NON CONTRADICTION AND EXCLUDED MIDDLE IN [0,1] (Q3564729) (← links)
- Excluded Middle versus Choice in a topos (Q4680375) (← links)
- EM + Ext<sub>−</sub> + AC<sub>int</sub> is equivalent to AC<sub>ext</sub> (Q4736750) (← links)