scientific article; zbMATH DE number 4187797

MaRDI QIDQ5752565zbMATH OpenFDO

Authors Maurice Boffa

Publication date 1988

zbMATH Keywords

consistencyNew FoundationsQuine's system NFZermelo-Fraenkel set theory with an automorphism JZFJ

Mathematics Subject Classification ID

Consistency and independence results (03E35)

Recommendations

• NF at (nearly) 75
• Ambiguities for NF
• scientific article; zbMATH DE number 559185
• The consistency of some 4-stratified subsystem of NF including NF₃
• Monotone inductive definitions and consistency of New Foundations

Cited in

(12)

• Automorphisms of models of set theory and extensions of NFU
• On the consistency of \(\operatorname {ZF}^n\) in \(\operatorname {ZF}^{n+3}\)
• Ambiguities for NF
• NF at (nearly) 75
• Combinatorics related to NF consistency
• The consistency of some 4-stratified subsystem of NF including NF₃
• scientific article; zbMATH DE number 559185 (Why is no real title available?)
• Monotone inductive definitions and consistency of New Foundations
• The usual model construction for NFU preserves information
• Boffa's construction and models for \textsf{NFU}
• Beneš's partial model of NF: an old result revisited
• Systems of combinatory logic related to Quine's `New Foundations'

This page was built for publication:

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