The consistency problem for NF
From MaRDI portal
Publication:4156774
DOI10.2307/2272122zbMath0377.02040OpenAlexW1992693426MaRDI QIDQ4156774
Publication date: 1977
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2272122
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Consistency and independence results (03E35)
Related Items
A partial model of NF with E ⋮ The 3-stratifiable theorems of \(\text{NFU}_\infty\) ⋮ Surrealist landscape with figures (a survey of recent results in set theory) ⋮ Automorphisms moving all non-algebraic points and an application to NF ⋮ The consistency of some 4-stratified subsystem of NF including NF3 ⋮ On the consistency of an impredicative subsystem of Quine's NF ⋮ Systems of combinatory logic related to Quine's `New Foundations'
Cites Work