Ordinal definability in Jensen's model

DOI10.2307/2274192zbMath0583.03037OpenAlexW2021789463MaRDI QIDQ3708012

Włodzimierz Zadrożny

Publication date: 1984

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274192

zbMATH Keywords

Jensen's forcinghomogeneous forcing

Mathematics Subject Classification ID

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

Related Items (2)

Iterating ordinal definability ⋮ GENERIC CODING WITH HELP AND AMALGAMATION FAILURE

Cites Work

• Unnamed Item
• Iterating ordinal definability
• Intermediate submodels and generic extensions in set theory
• Transfinite descending sequences of models HODα
• Embedding theorems for boolean algebras and consistency results on ordinal definable sets

This page was built for publication: Ordinal definability in Jensen's model