On NFU

DOI10.1305/NDJFL/1093636013zbMath0766.03031OpenAlexW4214687220MaRDI QIDQ1187539

Marcel Crabbé

Publication date: 22 July 1992

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093636013

zbMATH Keywords

axiom of extensionalityconsistency of axioms of weak extensionality with the stratifiable axioms of comprehensionfull extensionalitymodels of NFUNew Foundations with atomsnonextensional object

Mathematics Subject Classification ID

Consistency and independence results (03E35) Nonclassical and second-order set theories (03E70)

Related Items (4)

Increasing sentences in simple type theory ⋮ Decreasing sentences in Simple Type Theory ⋮ The axiom scheme of acyclic comprehension ⋮ The 3-stratifiable theorems of \(\text{NFU}_\infty\)

This page was built for publication: On NFU