Transfinite descending sequences of models HODα

DOI10.1016/0003-4843(81)90003-6zbMath0483.03033OpenAlexW2107711147MaRDI QIDQ3941399

Włodzimierz Zadrożny

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

zbMATH Keywords

inner modelsgeneric setsgeneric extensionhereditarily ordinal definable setsSouslin treesiterated forcing with Easton-like classes of conditionsiterated HOD

Mathematics Subject Classification ID

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α