The following pages link to On NFU (Q1187539):
Displaying 8 items.
- The usual model construction for NFU preserves information (Q691132) (← links)
- Automorphisms of models of set theory and extensions of NFU (Q2255737) (← links)
- Increasing sentences in simple type theory (Q2363207) (← links)
- The axiom scheme of acyclic comprehension (Q2443116) (← links)
- Strong axioms of infinity in NFU (Q2732269) (← links)
- On the set of atoms (Q4521283) (← links)
- Decreasing sentences in Simple Type Theory (Q5108113) (← links)
- The 3-stratifiable theorems of \(\text{NFU}_\infty\) (Q5937850) (← links)