A partial model for Quine's “New foundations”

DOI10.2307/2268618zbMath0058.00703OpenAlexW2006216074MaRDI QIDQ5831324

Václav E. Beneš

Publication date: 1954

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

Full work available at URL: https://doi.org/10.2307/2268618

zbMATH Keywords

philosophy and foundations of mathematics

Related Items (3)

A partial model of NF with E ⋮ The consistency problem for NF ⋮ Beneš's partial model of NF: an old result revisited

Cites Work

• On the consistency of Quine's New foundations for mathematical logic
• The axiom of infinity in Quine's New Foundations
• The Axiom of Choice in Quine's New Foundations for Mathematical Logic

This page was built for publication: A partial model for Quine's “New foundations”