モティ・ギティク

モティ・ギティク（ヘブライ語：מוטי גיטיק ）は、テルアビブ大学の教授で、集合論を研究する数学者です。 2002年の国際数学者会議で招待講演者となり、2012年にアメリカ数学会の会員になりました。 ^[1]

ギティックは、「すべての非可算基数は特異である」という一貫性(選択公理の強い否定) を、「強くコンパクトな基数の適切なクラスが存在する」という一貫性から証明しました。彼はさらに、次のステートメントの 等一貫性を証明しました。

• ミッチェル順序κ ⁺⁺を持つ基数κ が存在する。
• 2 ^κ > κ ^+となる測定可能な基数 κ が存在する。
• 2 ^λ > λ ^+となる強極限 特異基数 λ が存在します。
• GCHはℵ _ω以下で成立し、2 ^{ℵ _ω} =ℵ _ω+2である。

Gitik は、複雑な基数演算構造を持つ ZFC モデルを構築するためのいくつかの方法を発見しました。彼の主な成果は、特異基数上のべき乗関数の非自明なパターンの一貫性と等一貫性を扱っています。

• Gitik, Moti (1986). 「変化する共終点と非定常理想」.イスラエル数学ジャーナル. 56 (3): 280–314. doi : 10.1007/BF02782938 .
• ギティク、モティ（1991）。「特異基数仮説の失敗の強さ」。純粋および応用論理学年報。51 （3）：215-240。doi ：10.1016/0168-0072（91）90016-F。
• Gitik, Moti; Magidor, Menachem (1992)。「特異基数仮説の再考」。連続体の集合論。数学科学研究所出版。第 26 巻。pp. 243–279。doi : 10.1007 / 978-1-4613-9754-0_16。ISBN 978-1-4613-9756-4。 {{cite book}}:|journal=無視されました (ヘルプ)
• Gitik, Moti (1996). 「特異基数のパワーを爆発させる」Annals of Pure and Applied Logic . 80 (1): 17–33. arXiv : math/9404204 . doi : 10.1016/0168-0072(95)00046-1 .
• Gitik , Moti (2020). 「重複するエクステンダーとシェラ弱仮説の否定を伴うエクステンダーベースの強制」。Journal of Mathematical Logic。20 ( 3): 2050013。doi :10.1142/S0219061320500130。S2CID 46948714  。

• 数学系譜プロジェクトのモティ・ギティック