Pages that link to "Item:Q4304093"
From MaRDI portal
The following pages link to Cofinal Indiscernibles and some Applications to New Foundations (Q4304093):
Displayed 5 items.
- Automorphisms of models of set theory and extensions of NFU (Q2255737) (← links)
- Strong axioms of infinity in <i>NFU</i> (Q2732269) (← links)
- Automorphisms moving all non-algebraic points and an application to NF (Q4227868) (← links)
- Models of intuitionistic TT and NF (Q4842637) (← links)
- Permutations and wellfoundedness: the true meaning of the bizarre arithmetic of Quine's NF (Q5477632) (← links)