The following pages link to Power-like models of set theory (Q4328832):
Displaying 9 items.
- Rank-initial embeddings of non-standard models of set theory (Q781504) (← links)
- Model theory of the regularity and reflection schemes (Q938239) (← links)
- Similarities between powersets of terms (Q1827316) (← links)
- The powerset operator on abstract interpretations (Q1960538) (← links)
- Large transitive models in local ZFC (Q2449850) (← links)
- End extending models of set theory via power admissible covers (Q2672157) (← 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)
- Relational, closure and partition powerset theories (Q6081540) (← links)