Pages that link to "Item:Q5675719"
From MaRDI portal
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)