Consistency of strictly impredicative NF and a little more …

DOI10.2178/jsl/1286198149zbMath1223.03034OpenAlexW1991106725MaRDI QIDQ3066796

Sergei Tupailo

Publication date: 12 January 2011

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/jsl/1286198149

zbMATH Keywords

forcingfragment of NFFrege natural numbersStratified Comprehensionstrict impredicativity

Mathematics Subject Classification ID

Consistency and independence results (03E35) Nonclassical and second-order set theories (03E70)

Cites Work

• Set theory. An introduction to independence proofs
• On the consistency of an impredicative subsystem of Quine's NF
• New Foundations for Mathematical Logic
• Subsystems of Quine's ``New Foundations with predicativity restrictions