A partial model of NF with ZF

DOI10.1002/MALQ.19930390132MaRDI QIDQ4304141zbMATH OpenOpenAlexFDO

Authors Nando Prati

Publication date 8 September 1994

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19930390132

zbMATH Keywords

consistent fragmentsmodels of set theoryNew Foundations

Mathematics Subject Classification ID

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

Recommendations

• A partial model of NF with E
• scientific article; zbMATH DE number 5778061
• Generic extensions of models of ZFC
• On the structure of classical realizability models of ZF
• scientific article; zbMATH DE number 536900
• Extending standard models of ZFC to models of nonstandard set theories
• scientific article; zbMATH DE number 1612556
• scientific article; zbMATH DE number 826690
• Models of intuitionistic TT and NF
• Publication:3487326

Cited in

(2)

• Broadening the iterative conception of set
• A partial model of NF with E

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

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