Pages that link to "Item:Q5772178"
From MaRDI portal
The following pages link to On the consistency of Quine's <i>New foundations for mathematical logic</i> (Q5772178):
Displaying 8 items.
- Beneš's partial model of NF: an old result revisited (Q740207) (← links)
- Definition by induction in quine's <i>new foundations for mathematical logic</i> (Q5773623) (← links)
- Non-standard models for formal logics (Q5796043) (← links)
- A formal system of logic (Q5798792) (← links)
- The axiom of infinity in Quine's New Foundations (Q5813913) (← links)
- On <i>ω</i>-inconsistency and a so-called axiom of infinity (Q5823279) (← links)
- Remarks on identity and description in first-order axiom systems (Q5825660) (← links)
- A partial model for Quine's “New foundations” (Q5831324) (← links)