Compactness phenomena in HOD and the Optimality of Magidor's Covering theorem
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2608.24190
curl -X POST /api/v1/records/arxiv/2608.24190/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.24190/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'