Loading article…
メナヘム・マギドール（ヘブライ語: מנחם מגידור、1946年1月24日生まれ）は、数理論理学、特に集合論を専門とする イスラエルの数学者です。エルサレム・ヘブライ大学の学長、1996年から1998年まで 記号論理学会会長、2016年から2019年まで国際科学史・科学哲学連合（IUHPS）の論理学・方法論・科学技術哲学部門（DLMPST/IUHPS）会長を務めました。2016年にはアメリカ芸術科学アカデミーの名誉外国人会員に選出され、2018年にはソロモン・バブリック賞を受賞しました。
メナヘム・マジドールはイスラエルのペタフ・ティクヴァで生まれた。彼は1973年にエルサレム・ヘブライ大学で博士号を取得した。彼の博士論文「超コンパクト基数について」はアズリエル・レヴィの指導の下で書かれた。[ 1 ]オックスフォード大学の哲学者オフラ・マジドールは彼の娘である。
マジドールは、特異基数の冪に関するいくつかの重要な無矛盾性結果を得て、強制法を大幅に発展させた。彼は、大きな基数の共終性をあらかじめ定められた正則基数に変更するために、プリクリーの強制法を一般化した。彼は、最も弱い強コンパクト基数は、最も弱い可測基数または最も弱い超コンパクト基数と等しくなるが、両方と等しくなることはないことを証明した。
巨大な基数の一貫性を仮定して、彼は非常に小さな基数上の非正則超フィルターの最初の例（非正則超フィルターの存在に関する有名なギルマン-ケイスラー問題に関連）を含む集合論のモデル（1977年）を構築し、超冪のジャンプ基数の例も示しました。彼は、それが一貫性があることを証明しました。のために強い制限となり、条件が強化されるこれは、一般化連続体仮説が以下で成り立つ条件に対する強い制限である。これは、特異基数仮説に対する否定的な解決策となった。どちらの証明も、非常に大きな基数の一貫性を利用していた。
マジドール、マシュー・フォーマン、サハロン・シェラは、マーティンの公理の証明可能な最大形式であるマーティンの最大値の一貫性を定式化し証明した。マジドールはまた、ジェンセンとドッド・ジェンセンの被覆補題の簡単な証明も与えた。彼は、 0 #が存在しない場合、順序数の原始再帰的閉集合はすべて、可算個の集合の和集合であることを証明した。。
彼は1997年から2009年までエルサレム・ヘブライ大学の学長を務め、ハノフ・グートフロイントの後任となり、メナヘム・ベン＝サッソンが後任となった。[ 2 ]
