New foundations and the axiom of counting
From MaRDI portal
Publication:2523030
DOI10.1215/S0012-7094-64-03163-1zbMath0143.00903WikidataQ114599017 ScholiaQ114599017MaRDI QIDQ2523030
Publication date: 1964
Published in: Duke Mathematical Journal (Search for Journal in Brave)
Related Items
Finite sets in Quine's new foundations, On a set theory suggested by Dedecker and Ehresmann, II, On the strength of a weak variant of the axiom of counting, Strong axioms of infinity in NFU, The consistency problem for NF, Automorphisms moving all non-algebraic points and an application to NF