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
[BNH23] raised by Ben-Neria and Hayut.
en
Project title:
Klassifikation abgeleiteter Modelle der Determiniertheit: I6087-N (FWF - Österr. Wissenschaftsfonds)
