Майкл Маккай
Майкл Маккай ( венгерский : Makkai Mihály 24 июня 1939, Будапешт , Венгрия ) — канадский математик венгерского ; происхождения, специализирующийся на математической логике . [1] Он работает в области теории моделей , теории категорий , алгебраической логики , теории типов и теории топосов .
Карьера [ править ]
Академическая биография [ править ]
Маккай получил докторскую степень в Университете Этвеша Лоранда в Будапеште в 1966 году под руководством Петера Рожи и Анджея Мостовского . [2] Затем он работал в Математическом институте Венгерской академии наук . [3] С 1974 по 2010 год он был профессором математики в Университете Макгилла и вышел на пенсию в 2010 году. Он также является внешним членом Венгерской академии наук (1995 г.).
Работа [ править ]
Вместе с Лео Харрингтоном и Сахароном Шелой он доказал гипотезу Вота для ω-стабильных теорий. [4]
Вместе с Робертом Паре он развил теорию доступных категорий . [5]
Маккай имеет число Эрдеша, равное 1, поскольку он опубликовал «Некоторые замечания по теории множеств, X» вместе с Полом Эрдешем в 1966 году. [6]
Избранные публикации [ править ]
- М. Маккай, Дж. Е. Рейес: Категориальная логика первого порядка, Конспекты лекций по математике , 611 , Springer, 1977, viii+301 стр. два : 10.1007/BFb0066201 [7]
- Л. Харрингтон, М. Маккай, С. Шела: Доказательство гипотезы Вота для ω-стабильных теорий, Израильский журнал математики , 49 (1984), 259–280. дои : 10.1007/BF02760651
- Майкл Маккай, Роберт Паре: Доступные категории: основы теории категориальных моделей . Современная математика, 104 . Американское математическое общество, Провиденс, Род-Айленд, 1989. viii+176 стр. ISBN 0-8218-5111-X , дои : 10.1090/com/104 [8]
- М. Маккай: Двойственность и определимость в логике первого порядка , Мемуары Американского математического общества, 503 , 1993, ISSN 0065-9266. два : 10.1090/memo/0503
Ссылки [ править ]
- ^ Бентем, Йохан Ван; Хайнцманн, Герхард; Ребуски, Мануэль; Хенк Виссер (14 ноября 2006 г.). Эпоха альтернативной логики: оценка философии логики и математики сегодня . Спрингер. стр. 182–. ISBN 978-1-4020-5011-4 . Проверено 28 июня 2011 г.
- ^ Майкл Маккай в проекте «Математическая генеалогия»
- ^ «Резюме Маккая на домашней странице его университета Макгилла» (PDF) .
- ^ Л. Харрингтон , М. Маккай, С. Шела : Доказательство гипотезы Вота для ω-стабильных теорий, Израильский журнал математики , 49 (1984), 259–280.
- ^ М. Маккай, Р. Паре: Доступные категории: основы теории категориальных моделей . Современная математика, 104 . Американское математическое общество, Провиденс, Род-Айленд, 1989. viii+176 стр. ISBN 0-8218-5111-X , дои : 10.1090/com/104
- ^ Пол Эрдеш, Майкл Маккай: Некоторые замечания по теории множеств, X, Stud. Научная математика. Венгерский. 1, 157–159 (1966)
- ^ Монк, доктор медицинских наук (1978). «Обзор: категориальная логика первого порядка Майкла Маккая и Гонсало Э. Рейеса» (PDF) . Бык. амер. Математика. Соц . 84 (6): 1378–1380. дои : 10.1090/s0002-9904-1978-14587-x .
- ^ Грей, JW (1991). «Обзор: Майкл Маккай и Роберт Паре, Доступные категории: основы теории категориальных моделей» (PDF) . Бык. амер. Математика. Соц. (НС) . 25 (1): 131–140. дои : 10.1090/S0273-0979-1991-16045-3 .
Внешние ссылки [ править ]
- Маккая Домашняя страница в Венгерской академии наук
- Маккая Домашняя страница в Университете Макгилла
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
