Майкл Маккай

канадский математик

Михаэль Маккай ( венг . Makkai Mihály ; 24 июня 1939 г. в Будапеште , Венгрия ) — канадский математик венгерского происхождения, специализирующийся на математической логике . ^[1] Он работает в области теории моделей , теории категорий , алгебраической логики , теории типов и теории топосов .

Карьера

Академическая биография

Маккай получил степень доктора философии в Будапештском университете имени Лоранда Этвеша в 1966 году под руководством Рожи Петера и Анджея Мостовского . ^[2] Затем он работал в Математическом институте Венгерской академии наук . ^[3] С 1974 по 2010 год он был профессором математики в Университете Макгилла , уйдя на пенсию в 2010 году. Он также является внешним членом Венгерской академии наук (1995).

Работа

Совместно с Лео Харрингтоном и Сахароном Шелахом он доказал гипотезу Воота для ω-стабильных теорий. ^[4]

Совместно с Робертом Паре он развил теорию доступных категорий . ^[5]

Число Эрдёша Маккая равно 1, так как в 1966 году он опубликовал «Некоторые замечания по теории множеств, X» совместно с Полом Эрдёшем ^{. [6]}

Избранные публикации

M. Makkai, GE Reyes: Категорическая логика первого порядка, Lecture Notes in Mathematics , 611 , Springer, 1977, viii+301 стр. doi :10.1007/BFb0066201 ^[7]
Л. Харрингтон, М. Маккай, С. Шелах: Доказательство гипотезы Воота для ω-стабильных теорий, Israel Journal of Mathematics , 49 (1984), 259–280. doi :10.1007/BF02760651
Майкл Маккай, Роберт Паре: Доступные категории: основы теории категориальных моделей . Современная математика, 104 . Американское математическое общество, Провиденс, Род-Айленд, 1989. viii+176 стр. ISBN 0-8218-5111-X , doi : 10.1090/conm/104 ^[8]
М. Маккай: Двойственность и определимость в логике первого порядка , Мемуары Американского математического общества, 503 , 1993, ISSN 0065-9266. doi :10.1090/memo/0503

Ссылки

^ Бентем, Йохан Ван; Хайнцманн, Герхард; Ребуши, Мануэль; Хенк Виссер (2006-11-14). Эпоха альтернативной логики: оценка философии логики и математики сегодня. Springer. стр. 182–. ISBN 978-1-4020-5011-4. Получено 28 июня 2011 г.
^ Майкл Маккай в проекте «Генеалогия математики»
^ «Резюме Маккая на домашней странице его Университета Макгилла» (PDF) .
^ Л. Харрингтон , М. Маккай, С. Шелах : Доказательство гипотезы Воота для ω-стабильных теорий, Israel Journal of Mathematics , 49 (1984), 259–280.
^ М. Маккай, Р. Паре: Доступные категории: основы теории категориальных моделей . Современная математика, 104 . Американское математическое общество, Провиденс, Род-Айленд, 1989. viii+176 стр. ISBN 0-8218-5111-X , doi : 10.1090/conm/104
^ Пол Эрдеш, Майкл Маккай: Некоторые замечания по теории множеств, X, Stud. наук. Математика. Венгрия. 1, 157–159 (1966)
^ Монк, Дж. Д. (1978). «Обзор: категорическая логика первого порядка Майкла Маккая и Гонсало Э. Рейеса» (PDF) . Bull. Amer. Math. Soc . 84 (6): 1378–1380. doi : 10.1090/s0002-9904-1978-14587-x .
^ Грей, Дж. В. (1991). «Обзор: Майкл Маккай и Роберт Паре, Доступные категории: основы теории категориальных моделей» (PDF) . Bull. Amer. Math. Soc. (NS) . 25 (1): 131–140. doi : 10.1090/S0273-0979-1991-16045-3 .

Внешние ссылки

Домашняя страница Маккая в Венгерской академии наук
Домашняя страница Маккая в Университете Макгилла

[BenthemHeinzmann2006-1] Бентем, Йохан Ван; Хайнцманн, Герхард; Ребуши, Мануэль; Хенк Виссер (2006-11-14). Эпоха альтернативной логики: оценка философии логики и математики сегодня. Springer. стр. 182–. ISBN 978-1-4020-5011-4. Получено 28 июня 2011 г.

[2] Майкл Маккай в проекте «Генеалогия математики»

[3] «Резюме Маккая на домашней странице его Университета Макгилла» (PDF) .

[4] Л. Харрингтон , М. Маккай, С. Шелах : Доказательство гипотезы Воота для ω-стабильных теорий, Israel Journal of Mathematics , 49 (1984), 259–280.

[5] М. Маккай, Р. Паре: Доступные категории: основы теории категориальных моделей . Современная математика, 104 . Американское математическое общество, Провиденс, Род-Айленд, 1989. viii+176 стр. ISBN 0-8218-5111-X , doi : 10.1090/conm/104

[6] Пол Эрдеш, Майкл Маккай: Некоторые замечания по теории множеств, X, Stud. наук. Математика. Венгрия. 1, 157–159 (1966)

[7] Монк, Дж. Д. (1978). «Обзор: категорическая логика первого порядка Майкла Маккая и Гонсало Э. Рейеса» (PDF) . Bull. Amer. Math. Soc . 84 (6): 1378–1380. doi : 10.1090/s0002-9904-1978-14587-x .

[8] Грей, Дж. В. (1991). «Обзор: Майкл Маккай и Роберт Паре, Доступные категории: основы теории категориальных моделей» (PDF) . Bull. Amer. Math. Soc. (NS) . 25 (1): 131–140. doi : 10.1090/S0273-0979-1991-16045-3 .