Subsystems of Quine's ``New Foundations'' with predicativity restrictions (Q5937851)
From MaRDI portal
scientific article; zbMATH DE number 1620846
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Subsystems of Quine's ``New Foundations'' with predicativity restrictions |
scientific article; zbMATH DE number 1620846 |
Statements
Subsystems of Quine's ``New Foundations'' with predicativity restrictions (English)
0 references
17 July 2001
0 references
subsystems of NF
0 references
NFP
0 references
NFI
0 references
ramified theory of types
0 references
consistency strength
0 references
