A partial model of NF with ZF

DOI10.1002/MALQ.19930390132zbMath0807.03035OpenAlexW2015968636MaRDI QIDQ4304141

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

New Foundationsmodels of set theoryconsistent fragments

Mathematics Subject Classification ID

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

Related Items (2)

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

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