Showing 1–1 of 1 results for author: Aksornthong, N

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

Authors: Navin Aksornthong, Takehiko Gappo, James Holland, Grigor Sargsyan

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

Submitted 27 June, 2025; v1 submitted 25 July, 2023; originally announced July 2023.

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