{"id":"arxiv/2608.24190","url":"https://arxiv.org/abs/2608.24190","tags":["math.LO"],"score":0,"title":"Compactness phenomena in HOD and the Optimality of Magidor's Covering theorem","domain":"math.LO","source":"arxiv","authors":["Tom Benhamou","James Cummings","Yair Hayut","Gabriel Goldberg","Alejandro Poveda"],"reviews":0,"subject":"math.LO","summary":"We continue the study of compactness phenomena between the set-theoretic universe and $\\mathrm{HOD}$ initiated by Goldberg--Poveda \\cite{GolPov}. We focus on compactness phenomena around the power-set functions of $V$ and $\\mathrm{HOD}$. We prove: (1) A singular strong limit cardinal with uncountable cofinality cannot be the first place where $\\mathcal{P}(\\cdot )$ and $ \\mathcal{P}^{\\mathrm{HOD}}(\\cdot)$ disagree. (2) Assuming the existence of a measurable cardinal, $\\aleph_ω$ can be the first place where $\\mathcal{P}(\\aleph_ω)\\neq \\mathcal{P}^{\\mathrm{HOD}}(\\aleph_ω)$, answering a question…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-25","reactions":{}}