Pages that link to "Item:Q4736750"
From MaRDI portal
The following pages link to EM + Ext<sub>−</sub> + AC<sub>int</sub> is equivalent to AC<sub>ext</sub> (Q4736750):
Displaying 4 items.
- A minimalist two-level foundation for constructive mathematics (Q1032635) (← links)
- 2006 Annual Meeting of the Association for Symbolic Logic (Q3594488) (← links)
- The axiom of choice and the law of excluded middle in weak set theories (Q5387332) (← links)
- THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS) (Q5884255) (← links)