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

DOI10.2307/2271726MaRDI QIDQ5675719zbMATH OpenOpenAlexFDO

Authors 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

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

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)