On ω-strongly measurable cardinals in Pmax extensions

被引:0
|
作者
Aksornthong, Navin [1 ]
Gappo, Takehiko [2 ]
Holland, James
Sargsyan, Grigor [3 ]
机构
[1] Hill Ctr Busch Campus, 110 Frelinghuysen Rd, Piscataway, NJ 08854 USA
[2] TU Wien, Inst Diskrete Math & Geometrie, Wiedner Hauptstr 8-10-104, A-1040 Vienna, Austria
[3] IMPAN, Antoniego Abrahama 18, PL-81825 Sopot, Poland
基金
奥地利科学基金会;
关键词
Inner model theory; determinacy; HOD conjecture; omega-strongly measurable cardinals; P-max forcing;
D O I
10.1142/S0219061324500181
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
We show that in the P-max extension of a certain Chang-type model of determinacy, if kappa is an element of {omega(1), omega(2), omega(3)}, then the restriction of the club filter on kappa boolean AND Cof(omega) to HOD is an ultrafilter in HOD. This answers Question 4.11 of [O. Ben-Neria and Y. Hayut, On omega-strongly measurable cardinals, Forum Math. Sigma 11 (2023) e19].
引用
收藏
页数:26
相关论文
共 50 条
  • [1] ON STRONGLY MEASURABLE CARDINALS
    VOPENKA, P
    HRBACEK, K
    BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1966, 14 (11): : 587 - &
  • [2] On ?-Strongly Measurable Cardinals
    Ben-Neria, Omer
    Hayut, Yair
    FORUM OF MATHEMATICS SIGMA, 2023, 11
  • [3] On ω-strongly measurable cardinals in ℙmax extensions (vol 24, 2450018, 2024)
    Aksornthong, Navin
    Gappo, Takehiko
    Holland, James
    Sargsyan, Grigor
    JOURNAL OF MATHEMATICAL LOGIC, 2024,
  • [4] INDESTRUCTIBILITY WHEN THE FIRST TWO MEASURABLE CARDINALS ARE STRONGLY COMPACT
    Apter, Arthur W.
    JOURNAL OF SYMBOLIC LOGIC, 2022, 87 (01) : 214 - 227
  • [5] SQUARE PRINCIPLES IN Pmax EXTENSIONS
    Caicedo, Andres Eduardo
    Larson, Paul
    Sargsyan, Grigor
    Schindler, Ralf
    Steel, John
    Zeman, Martin
    ISRAEL JOURNAL OF MATHEMATICS, 2017, 217 (01) : 231 - 261
  • [6] Weakly measurable cardinals
    Schanker, Jason A.
    MATHEMATICAL LOGIC QUARTERLY, 2011, 57 (03) : 266 - 280
  • [7] LEMMA ON MEASURABLE CARDINALS
    FLEISSNER, WG
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1975, 49 (02) : 517 - 518
  • [8] STABLY MEASURABLE CARDINALS
    Welch, Philip D.
    JOURNAL OF SYMBOLIC LOGIC, 2021, 86 (02) : 448 - 470
  • [9] Quantum measurable cardinals
    Blecher, David P.
    Weaver, Nik
    JOURNAL OF FUNCTIONAL ANALYSIS, 2017, 273 (05) : 1870 - 1890
  • [10] Indestructibility and destructible measurable cardinals
    Apter, Arthur W.
    ARCHIVE FOR MATHEMATICAL LOGIC, 2016, 55 (1-2) : 3 - 18