Transfinite descending sequences of models HODα
From MaRDI portal
Publication:3941399
DOI10.1016/0003-4843(81)90003-6zbMath0483.03033OpenAlexW2107711147MaRDI QIDQ3941399
Publication date: 1981
Published in: Annals of Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0003-4843(81)90003-6
inner modelsgeneric setsgeneric extensionhereditarily ordinal definable setsSouslin treesiterated forcing with Easton-like classes of conditionsiterated HOD
Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Models of arithmetic and set theory (03C62)
Related Items (3)
Ordinal definability in Jensen's model ⋮ ITERATING THE COFINALITY- CONSTRUCTIBLE MODEL ⋮ Iterating ordinal definability
This page was built for publication: Transfinite descending sequences of models HODα