On the consistency of Quine's New foundations for mathematical logic
From MaRDI portal
Publication:5772178
Cites work
Cited in
(8)- A partial model for Quine's “New foundations”
- On ω-inconsistency and a so-called axiom of infinity
- A formal system of logic
- Remarks on identity and description in first-order axiom systems
- Non-standard models for formal logics
- Definition by induction in quine's new foundations for mathematical logic
- Beneš's partial model of NF: an old result revisited
- The axiom of infinity in Quine's New Foundations
This page was built for publication: On the consistency of Quine's New foundations for mathematical logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5772178)