Iterating ordinal definability

DOI10.1016/0168-0072(83)90008-8zbMath0536.03034OpenAlexW1963699257WikidataQ126439567 ScholiaQ126439567MaRDI QIDQ791523

Włodzimierz Zadrożny

Publication date: 1983

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(83)90008-8

zbMATH Keywords

HODhereditarily ordinal definable setshomogeneous forcing

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45)

Related Items (6)

Ordinal definability in Jensen's model ⋮ Lifting elementary embeddings \(j : V_{\lambda } \rightarrow V_{\lambda }\) ⋮ Inner mantles and iterated HOD ⋮ ITERATING THE COFINALITY- CONSTRUCTIBLE MODEL ⋮ Generalizations of the Kunen inconsistency ⋮ Set-theoretic geology

Cites Work

• Ordinal definability in Jensen's model
• Transfinite descending sequences of models HODα
• Some applications of Jensen's coding theorem
• On the sequence of models $HOD_n$
• Embedding theorems for boolean algebras and consistency results on ordinal definable sets
• Cardinal collapsing and ordinal definability
• Consistency results about ordinal definability
• A generalization of Gödel's notion of constructibility
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Iterating ordinal definability