Type-raising operations on cardinal and ordinal numbers in Quine's “New foundations”

DOI10.2307/2271726zbMATH Open0259.02049OpenAlexW2164911401MaRDI QIDQ5675719FDOQ5675719

C. Ward Henson

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

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Axiomatics of classical set theory and its fragments (03E30)

Cites Work

• The Axiom of Choice in Quine's New Foundations for Mathematical Logic
• Formal development of ordinal number theory

Cited In (4)

• Sets equipollent to their power set in NF
• Cofinal Indiscernibles and some Applications to New Foundations
• Permutation methods applied to Quine's “New foundations”
• Systems of combinatory logic related to Quine's `New Foundations'

This page was built for publication: Type-raising operations on cardinal and ordinal numbers in Quine's “New foundations”

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