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

التفاصيل البيبلوغرافية
العنوان: On $\omega$-strongly measurable cardinals in $\mathbb{P}_{\max}$ extensions
المؤلفون: Aksornthong, Navin, Gappo, Takehiko, Holland, James, Sargsyan, Grigor
سنة النشر: 2023
المجموعة: Mathematics
مصطلحات موضوعية: Mathematics - Logic
الوصف: 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.
Comment: 22 pages. arXiv admin note: text overlap with arXiv:2307.08607
نوع الوثيقة: Working Paper
URL الوصول: http://arxiv.org/abs/2307.13682
رقم الأكسشن: edsarx.2307.13682
قاعدة البيانات: arXiv