Pages that link to "Item:Q5675719"

The following pages link to Type-raising operations on cardinal and ordinal numbers in Quine's “New foundations” (Q5675719):

Displayed 4 items.

• Systems of combinatory logic related to Quine's `New Foundations' (Q809994) ‎ (← links)
• Sets equipollent to their power set in NF (Q4091928) ‎ (← links)
• Cofinal Indiscernibles and some Applications to New Foundations (Q4304093) ‎ (← links)
• Permutation methods applied to Quine's “New foundations” (Q5675720) ‎ (← links)