The following pages link to The consistency problem for NF (Q4156774):
Displayed 7 items.
- Surrealist landscape with figures (a survey of recent results in set theory) (Q754865) (← links)
- Systems of combinatory logic related to Quine's `New Foundations' (Q809994) (← links)
- The consistency of some 4-stratified subsystem of NF including NF<sub>3</sub> (Q3682481) (← links)
- On the consistency of an impredicative subsystem of Quine's NF (Q3947653) (← links)
- Automorphisms moving all non-algebraic points and an application to NF (Q4227868) (← links)
- A partial model of <b>NF</b> with E (Q4323039) (← links)
- The 3-stratifiable theorems of \(\text{NFU}_\infty\) (Q5937850) (← links)