마이클 막카이

Michael Makkai

마이클 막카이(헝가리어:막카이 미할리(Makkai Miahly; 1939년 6월 24일 헝가리 부다페스트)는 헝가리 출신의 캐나다 수학자로 수학적 논리를 전문으로 한다.[1]그는 모델 이론, 범주 이론, 대수 논리학, 유형 이론, 토포이 이론에서 일한다.

경력

학술전기

막카이는 1966년 부다페스트의 에우tvös 로란트 대학교에서 로자 페터와 안드르제 모스토프스키의 감독을 받아 박사학위를 받았다.[2]그 후 헝가리 과학 아카데미의 수학 연구소에서 일했다.[3]1974년과 2010년 사이에 맥길 대학교의 수학 교수로 있다가 2010년에 은퇴하였다.헝가리 과학 아카데미(1995년)의 외부 회원이기도 하다.

일

그는 레오 해링턴과 사하론 셀라와 함께 Ω-안정적인 이론에 대한 보우트 추측을 증명했다.[4]

로버트 패리와 함께 그는 접근 가능한 범주에 대한 이론을 더욱 발전시켰다.[5]

선택한 게시물

  • M. 막카이, G. E. 레이즈: 퍼스트 순서 범주형 논리, 수학 강의 노트, 611, 스프링어, 1977, 8+301 페이지 도이:10.1007/BF0066201[6]
  • L. 해링턴, M. 막카이, S.쉘라: Ω-stable 이론에 대한 Vaught의 추측의 증거, 이스라엘 수학 저널, 49(1984), 259–280. doi:10.1007/BF02760651
  • Michael Makkai, Robert Paré: 접근 가능한 범주: 범주형 모델 이론의 기초.현대 수학, 104.미국 수학 협회, 프로비던스, RI, 1989.8+2 pp. ISBN0-8218-5111-X, doi:10.1090/conm/104[7]
  • M. 막카이:첫 번째 순서 로직에서의 이중성과 정의 가능성, 미국수학회의 회고록, 503, 1993, ISSN 0065-9266. doi:10.1090/memo/0503

참조

  1. ^ Benthem, Johan Van; Heinzmann, Gerhard; Rebuschi, Manuel; Henk Visser (2006-11-14). The age of alternative logics: assessing philosophy of logic and mathematics today. Springer. pp. 182–. ISBN 978-1-4020-5011-4. Retrieved 28 June 2011.
  2. ^ 수학계보 프로젝트 마이클 막카이
  3. ^ "Makkai's CV at his McGill University Homepage" (PDF).
  4. ^ L. 해링턴, M. 막카이, S. 셀라: Ω-stable 이론에 대한 Vaught의 추측의 증거, 이스라엘 수학 저널, 49 (1984), 259–280.
  5. ^ M. Makkai, R. Paré: 접근 가능한 범주: 범주형 모델 이론의 기초.현대 수학, 104.미국 수학 협회, 프로비던스, RI, 1989.8+2 pp.ISBN 0-8218-5111-X, doi:10.1090/conm/104
  6. ^ Monk, J. D. (1978). "Review: First order categorical logic by Michael Makkai and Gonzalo E. Reyes" (PDF). Bull. Amer. Math. Soc. 84 (6): 1378–1380. doi:10.1090/s0002-9904-1978-14587-x.
  7. ^ Gray, J. W. (1991). "Review: Michael Makkai and Robert Paré, Accessible categories: The foundations of categorical model theory" (PDF). Bull. Amer. Math. Soc. (N.S.). 25 (1): 131–140. doi:10.1090/S0273-0979-1991-16045-3.

외부 링크