A Reduction of the NF consistency Problem (Q3426575)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5132676
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A Reduction of the NF consistency Problem |
scientific article; zbMATH DE number 5132676 |
Statements
A Reduction of the NF consistency Problem (English)
0 references
12 March 2007
0 references
New Foundations
0 references
consistency
0 references
theory of simple types
0 references
type-shifting automorphism
0 references
forcing
0 references
0.8003605008125305
0 references
0.8003605008125305
0 references
0.765764594078064
0 references
0.7621679306030273
0 references
0.7604123950004578
0 references
