NF at (nearly) 75

zbMATH Open1244.03138MaRDI QIDQ3099307FDOQ3099307

Authors: Thomas Forster 

Publication date: 1 December 2011

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

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70)

Cited In (9)

• Beneš's partial model of NF: an old result revisited
• Title not available (Why is that?)
• The consistency of some 4-stratified subsystem of NF including NF₃
• Title not available (Why is that?)
• Consistency of strictly impredicative NF and a little more \(\dots \)
• Title not available (Why is that?)
• Monotone inductive definitions and consistency of New Foundations
• Combinatorics related to NF consistency
• Title not available (Why is that?)

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)