NF at (nearly) 75

MaRDI QIDQ3099307zbMATH OpenFDO

Authors Thomas Forster

Publication date 1 December 2011

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70)

Recommendations

• Publication:5752565
• The consistency of some 4-stratified subsystem of NF including NF₃
• scientific article; zbMATH DE number 3878895
• scientific article; zbMATH DE number 559185
• Monotone inductive definitions and consistency of New Foundations

Cited in

(9)

• Beneš's partial model of NF: an old result revisited
• scientific article; zbMATH DE number 597891 (Why is no real title available?)
• The consistency of some 4-stratified subsystem of NF including NF₃
• scientific article; zbMATH DE number 823610 (Why is no real title available?)
• Consistency of strictly impredicative NF and a little more \(\dots \)
• scientific article; zbMATH DE number 3878895 (Why is no real title available?)
• Monotone inductive definitions and consistency of New Foundations
• Combinatorics related to NF consistency
• scientific article; zbMATH DE number 4187797 (Why is no real title available?)

This page was built for publication: NF at (nearly) 75

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