Type-raising operations on cardinal and ordinal numbers in Quine's “New foundations”
From MaRDI portal
Publication:5675719
DOI10.2307/2271726zbMath0259.02049OpenAlexW2164911401MaRDI QIDQ5675719
Publication date: 1973
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2271726
Axiomatics of classical set theory and its fragments (03E30) Nonclassical and second-order set theories (03E70)
Related Items
Cofinal Indiscernibles and some Applications to New Foundations ⋮ Permutation methods applied to Quine's “New foundations” ⋮ Sets equipollent to their power set in NF ⋮ Systems of combinatory logic related to Quine's `New Foundations'
Cites Work