Permutation methods in NF and NFU

MaRDI QIDQ3581795zbMATH OpenFDO

Authors

Publication date 2 September 2010

zbMATH Keywords

Axiom of Countingconsistencyhereditarily finite setsindependenceNew FoundationsNFUpermutation methodsurvey papervon Neumann numeralsZermelo numerals

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70)

Recommendations

• On the set of atoms
• A permutation method yielding models of the stratified axioms of Zermelo Fraenkel set theory
• Permutations and wellfoundedness: the true meaning of the bizarre arithmetic of Quine's NF
• Permutation Models in the Sense of Rieger-Bernays
• On NFU

Cited in

(11)

• Automorphisms of models of set theory and extensions of NFU
• Mathematical objects arising from equivalence relations and their implementation in Quine's NF
• Permutations and stratified formulae a preservation theorem
• Automorphisms and constructions of models of set theory
• A permutation method yielding models of the stratified axioms of Zermelo Fraenkel set theory
• Permutation Models in the Sense of Rieger-Bernays
• ZF + “Every set is the same size as a wellfounded set”
• On the set of atoms
• scientific article; zbMATH DE number 823610 (Why is no real title available?)
• On the strength of a weak variant of the axiom of counting
• Permutations and wellfoundedness: the true meaning of the bizarre arithmetic of Quine's NF

This page was built for publication: Permutation methods in NF and NFU

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