The following pages link to (Q4656800):
Displayed 10 items.
- Bootstrapping. I (Q636291) (← links)
- Largest initial segments pointwise fixed by automorphisms of models of set theory (Q684228) (← links)
- Rank-initial embeddings of non-standard models of set theory (Q781504) (← links)
- Localizing the axioms (Q982186) (← links)
- Iterated ultrapowers for the masses (Q1661675) (← links)
- Automorphisms of models of set theory and extensions of NFU (Q2255737) (← links)
- ZFC PROVES THAT THE CLASS OF ORDINALS IS NOT WEAKLY COMPACT FOR DEFINABLE CLASSES (Q4638982) (← links)
- Set theory with a proper class of indiscernibles (Q5101293) (← links)
- Feferman’s Forays into the Foundations of Category Theory (Q5214790) (← links)
- ALGEBRAIC NEW FOUNDATIONS (Q5222536) (← links)