On $\omega$-strongly measurable cardinals in ${\mathbb{P}}_{\max }$ extensions

Abstract

We show that in the ${\mathbb{P}}_{\max }$ extension of a certain Chang-type model of determinacy, if $\kappa \in \{{\omega }_1,{\omega }_2,{\omega }_3\}$, then the restriction of the club filter on $\kappa \cap \mathrm{Cof}(\omega )$ to HOD is an ultrafilter in HOD. This answers Question 4.11 of [BNH23] raised by Ben-Neria and Hayut.

22 pages. arXiv admin note: text overlap with arXiv:2307.08607