On ω-strongly measurable cardinals in P extensions
Abstract
We show that in the P extension of a certain Chang-type model of determinacy, if ∈\ω1, ω2, ω3\, then the restriction of the club filter on (ω) to HOD is an ultrafilter in HOD. This answers Question 4.11 of [BNH23] raised by Ben-Neria and Hayut.
0
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.