We show that in the Pmax extension of a certain Chang-type model of determinacy, if κ ∈ {ω₁, ω₂, ω₃}, then the restriction of the club filter on κ ∩ Cof(ω) to HOD is an ultrafilter in HOD. This answers Question 4.11 of [O. Ben-Neria and Y. Hayut, On ω-strongly measurable cardinals, Forum Math. Sigma 11 (2023) e19].
en
Project title:
Klassifikation abgeleiteter Modelle der Determiniertheit: I6087-N (FWF - Österr. Wissenschaftsfonds)