The following pages link to Iterating ordinal definability (Q791523):
Displayed 5 items.
- Generalizations of the Kunen inconsistency (Q714722) (← links)
- Lifting elementary embeddings \(j : V_{\lambda } \rightarrow V_{\lambda }\) (Q868659) (← links)
- Set-theoretic geology (Q2514847) (← links)
- Ordinal definability in Jensen's model (Q3708012) (← links)
- Inner mantles and iterated HOD (Q5108877) (← links)