EM + Ext<sub>−</sub> + AC<sub>int</sub> is equivalent to AC<sub>ext</sub> (Q4736750)
From MaRDI portal
scientific article; zbMATH DE number 2081812
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | EM + Ext<sub>−</sub> + AC<sub>int</sub> is equivalent to AC<sub>ext</sub> |
scientific article; zbMATH DE number 2081812 |
Statements
EM + Ext<sub>−</sub> + AC<sub>int</sub> is equivalent to AC<sub>ext</sub> (English)
0 references
6 August 2004
0 references
Excluded Middle
0 references
extensionality
0 references
intensional Axiom of Choice
0 references
extensional Axiom of Choice
0 references
