Менахем Магидор - Menachem Magidor
Менахем Магидор | |
---|---|
Родившийся |
|
24 января 1946 г.
Национальность | Израильский |
Альма-матер | Еврейский университет |
Известен | Математическая логика , Теория множеств , Большое кардинальное свойство |
Научная карьера | |
Поля | Математик |
Учреждения | Еврейский университет |
Докторант | Азриэль Леви |
Докторанты | Моти Гитик |
Президент ASL | |
В офисе 1996–1998 гг. | |
Предшествует | Джордж Булос |
Преемник | Дональд А. Мартин |
Президент Еврейского университета Иерусалима | |
В офисе 1997–2009 гг. | |
Предшествует | Hanoch Gutfreund |
Преемник | Менахем Бен-Сассон |
Президент DLMPST / IUHPST | |
В офисе 2016–2019 гг. | |
Предшествует | Эллиот Собер |
Преемник | Нэнси Картрайт |
Менахем Магидор ( иврит : מנחם מגידור; родился 24 января 1946 г.) - израильский математик , специализирующийся на математической логике , в частности теории множеств . Он занимал пост президента Еврейского университета в Иерусалиме , был президентом Ассоциации символической логики с 1996 по 1998 год, а в настоящее время является президентом Отдела логики, методологии и философии науки и техники Международного союза истории и философии. наук (DLMPST / IUHPS; 2016-2019). В 2016 году он был избран почетным иностранным членом Американской академии искусств и наук. В 2018 году он получил премию Соломона Бублика .
биография
Менахем Магидор родился в Петах-Тикве , Израиль. Он получил докторскую степень. в 1973 году из Еврейского университета в Иерусалиме . Его диссертация « О сверхкомпактных кардиналах» была написана под руководством Азриэля Леви . Он занимал пост президента Еврейского университета в Иерусалиме с 1997 по 2009 год, после Ханоха Гутфройнда и его преемника Менахема Бен-Сассона . Его дочь - оксфордский философ Офра Маджидор .
Математические теории
Магидор получил несколько важных результатов согласованности о степенях единичных кардиналов, существенно развивая метод принуждения . Он обобщил Прикры принуждая для того , чтобы изменить конфинальность в виде большого кардинала до заданного регулярного кардинала . Он доказал, что наименее компактный кардинал может быть равен наименее измеримому кардиналу или наименьшему сверхкомпактному кардиналу (но не одновременно). Предполагая непротиворечивость огромных кардиналов, он построил модели (1977) теории множеств с первыми примерами нерегулярных ультрафильтров над очень маленькими кардиналами (связанными со знаменитой проблемой Гильмана – Кейслера о существовании нерегулярных ультрафильтров), даже на примере скачкообразной мощности сверхстепеней . Он доказал, что это сильный предел, но . Он даже усилил условие, которое является сильным ограничением этой обобщенной гипотезы континуума, выполняемой ниже . Это было отрицательным решением гипотезы об исключительных кардиналах . Оба доказательства использовали последовательность очень больших кардиналов. Магидор, Мэтью Форман и Сахарон Шелах сформулировали и доказали непротиворечивость максимума Мартина , доказуемо максимальной формы аксиомы Мартина . Магидор также дал простое доказательство лемм Дженсена и Додда-Йенсена о покрытии . Он доказал, что если 0 # не существует, то каждое примитивно рекурсивное замкнутое множество ординалов является объединением счетного числа множеств в .
Избранные опубликованные работы
- Магидор, Менахем (1977). «О проблеме единичных кардиналов. I» . Israel J. Math. 28 (1–2): 1–31. DOI : 10.1007 / BF02759779 .
- Магидор, Менахем (1977). «К проблеме сингулярных кардиналов. II». Аня. математики. 2. 106 (3): 517–547. DOI : 10.2307 / 1971065 . JSTOR 1971065 .
- Форман, Мэтью; Магидор, Менахем и Шелах, Сахарон (1988). «Максимум Мартина, насыщенные идеалы и нерегулярные ультрафильтры. I». Аня. математики . 2. 127 (1): 1–47. DOI : 10.2307 / 1971415 . JSTOR 1971415 .
- Форман, Мэтью; Магидор, Менахем и Шелах, Сахарон (1988). «Максимум Мартина, насыщенные идеалы и нерегулярные ультрафильтры». Аня. математики . 2. 127 (3): 521–545. DOI : 10.2307 / 2007004 . JSTOR 2007004 .
- Форман, Мэтью и Магидор, Менахем (1995). «Большие кардиналы и определимые контрпримеры к гипотезе континуума» . Летопись чистой и прикладной логики . 76 (1): 47–97. DOI : 10.1016 / 0168-0072 (94) 00031-W .
Рекомендации
- ^ Менахем Магидор на Математическая генеалогия
- ^ "Офис президента | האוניברסיטה העברית בירושלים | Еврейский университет Иерусалима" . New.huji.ac.il. 2017-09-01 . Проверено 18 февраля 2020 .
Академические офисы | ||
---|---|---|
Предшественник Эллиот Собер |
Президент Отдела логики, методологии и философии науки и технологий Международного союза истории и философии науки и технологий (DLMPST / IUHPST) 2016-2019 |
Преемник Нэнси Картрайт |