The following pages link to (Q5607217):
Displayed 5 items.
- A combinatorial result related to the consistency of New Foundations (Q638501) (← links)
- Representation of functions and total antisymmetric relations in monadic third order logic (Q2421520) (← links)
- Symmetry as a criterion for comprehension motivating Quine's `New Foundations' (Q2426734) (← links)
- On the consistency of an impredicative subsystem of Quine's NF (Q3947653) (← links)
- Decreasing sentences in Simple Type Theory (Q5108113) (← links)