The consistency problem for NF

DOI10.2307/2272122zbMATH Open0377.02040OpenAlexW1992693426MaRDI QIDQ4156774FDOQ4156774

Authors: Maurice Boffa 

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

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Consistency and independence results (03E35)

Cites Work

• The Axiom of Choice in Quine's New Foundations for Mathematical Logic
• A partial model for Quine's “New foundations”
• Title not available (Why is that?)
• New foundations and the axiom of counting
• Sets equipollent to their power set in NF

Cited In (7)

• On the consistency of an impredicative subsystem of Quine's NF
• A partial model of NF with E
• Surrealist landscape with figures (a survey of recent results in set theory)
• The consistency of some 4-stratified subsystem of NF including NF₃
• The 3-stratifiable theorems of \(\text{NFU}_\infty\)
• Systems of combinatory logic related to Quine's `New Foundations'
• Automorphisms moving all non-algebraic points and an application to NF

This page was built for publication: The consistency problem for NF

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4156774)