Compactness phenomena in HOD

We prove two compactness theorems for HOD. First, if $\kappa $ is a strong limit singular cardinal with uncountable cofinality and for stationarily many $\delta <\kappa $ , $(\delta ^+)^{\mathrm {HOD}}=\delta ^+$ , then $(\kappa ^+)^{\mathrm {HOD}}=\kappa ^+$ . Second, if...

Full description

Saved in:
Bibliographic Details
Main Authors: Gabriel Goldberg, Alejandro Poveda
Format: Article
Language:English
Published: Cambridge University Press 2025-01-01
Series:Forum of Mathematics, Sigma
Subjects:
Online Access:https://www.cambridge.org/core/product/identifier/S2050509425100704/type/journal_article
Tags: Add Tag
No Tags, Be the first to tag this record!