ZF ⊦ Σ<sub>4</sub><sup>0</sup> determinateness (Q5680127)
From MaRDI portal
scientific article; zbMATH DE number 3415847
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | ZF ⊦ Σ<sub>4</sub><sup>0</sup> determinateness |
scientific article; zbMATH DE number 3415847 |
Statements
ZF ⊦ Σ<sub>4</sub><sup>0</sup> determinateness (English)
0 references
1973
0 references
