Менахем Магидор - Menachem Magidor

Менахем Магидор
MenachemMagidor.jpg
Профессор Менахем Магидор в Иерусалиме (декабрь 2006 г.)
Родившийся ( 1946-01-24 )24 января 1946 г. (75 лет)
Национальность Израильский
Альма-матер Еврейский университет
Известен Математическая логика , Теория множеств , Большое кардинальное свойство
Научная карьера
Поля Математик
Учреждения Еврейский университет
Докторант Азриэль Леви
Докторанты Моти Гитик
Президент 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 # не существует, то каждое примитивно рекурсивное замкнутое множество ординалов является объединением счетного числа множеств в .

Избранные опубликованные работы

Менахем Магидор в 1973 году
  • Магидор, Менахем (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 .

Рекомендации

Академические офисы
Предшественник
Эллиот Собер
Президент Отдела логики, методологии и философии науки и технологий Международного союза истории и философии науки и технологий (DLMPST / IUHPST)
2016-2019
Преемник
Нэнси Картрайт