Майкл Маккай - Michael Makkai

Майкл Маккай (Венгерский: Маккаи Михай; 24 июня 1939 г. Будапешт, Венгрия ) является Канадский математик из Венгерский происхождение, специализируясь на математическая логика.[1] Он работает в теория моделей, теория категорий, алгебраическая логика, теория типов и теория Topoi.

Карьера

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

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

Работа

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

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

  • М. Маккай, Г. Э. Рейес: Категориальная логика первого порядка, конспекты лекций по математике, 611, Springer, 1977, viii + 301 с. Дои:10.1007 / BFb0066201[5]
  • Л. Харрингтон, М. Маккай, С. Шелах: доказательство гипотезы Воота для ω-стабильных теорий, Israel J. Math., 49(1984), 259–280. Дои:10.1007 / BF02760651
  • Майкл Маккай, Роберт Паре: Доступные категории: основы теории категориальных моделей. Современная математика, 104. Американское математическое общество, Провиденс, Род-Айленд, 1989. viii + 176 с.ISBN  0-8218-5111-X
  • М. Маккай: Двойственность и определимость в логике первого порядка, Мемуары Американского математического общества, 503, 1993, ISSN 0065-9266. Дои:10.1090 / memo / 0503

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

  1. ^ Бентем, Йохан Ван; Хайнцманн, Герхард; Ребучи, Мануэль; Хенк Виссер (14 ноября 2006 г.). Эпоха альтернативной логики: оценка философии логики и математики сегодня. Springer. С. 182–. ISBN  978-1-4020-5011-4. Получено 28 июн 2011.
  2. ^ Майкл Маккай на Проект "Математическая генеалогия"
  3. ^ "Резюме Маккая на домашней странице Университета Макгилла" (PDF).
  4. ^ Л. Харрингтон, М. Маккай, С. Шелах: Доказательство гипотезы Воота для ω-стабильных теорий, Israel J. Math., 49(1984), 259–280.
  5. ^ Монк, Дж. Д. (1978). "Рассмотрение: Категориальная логика первого порядка Майкла Маккая и Гонсало Э. Рейеса " (PDF). Бык. Амер. Математика. Soc. 84 (6): 1378–1380. Дои:10.1090 / с0002-9904-1978-14587-х.

внешняя ссылка