A partial model of NF with E

DOI10.2307/2275702zbMath0816.03024OpenAlexW2081448547MaRDI QIDQ4323039

Nando Prati

Publication date: 20 July 1995

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

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

zbMATH Keywords

finite axiomatizationurelementsNew Foundationspartial modelsmodel of a fragment of NF

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Models of arithmetic and set theory (03C62)

Cites Work

• On the consistency of a slight (?) modification of Quine's 'New Foundations'
• The consistency of some 4-stratified subsystem of NF including NF₃
• The consistency problem for NF
• A partial model of NF with ZF
• New Foundations for Mathematical Logic
• A partial model for Quine's “New foundations”

This page was built for publication: A partial model of NF with E