Michael Makkai
Michael Makkai (Hungarian: Makkai Mihály; 24 June 1939 in Budapest, Hungary) is Canadian mathematician of Hungarian origin, specializing in mathematical logic.[1] He works in model theory, category theory, algebraic logic, type theory and the theory of topoi.
Career[]
Academic biography[]
Makkai was awarded his PhD from the Eötvös Loránd University, Budapest, in 1966, having been supervised by Rózsa Péter and Andrzej Mostowski.[2] He then worked at the Mathematical Institute of the Hungarian Academy of Sciences.[3] Between 1974 and 2010, he was professor of mathematics at McGill University, retiring in 2010. He is also an external member of the Hungarian Academy of Sciences (1995).
Work[]
With Leo Harrington and Saharon Shelah he proved the Vaught conjecture for ω-stable theories.[4]
Selected publications[]
- M. Makkai, G. E. Reyes: First Order Categorical Logic, Lecture Notes in Mathematics, 611, Springer, 1977, viii+301 pp. doi:10.1007/BFb0066201[5]
- L. Harrington, M. Makkai, S. Shelah: A proof of Vaught's conjecture for ω-stable theories, Israel Journal of Mathematics, 49(1984), 259–280. doi:10.1007/BF02760651
- Michael Makkai, Robert Paré: Accessible categories: the foundations of categorical model theory. Contemporary Mathematics, 104. American Mathematical Society, Providence, RI, 1989. viii+176 pp. ISBN 0-8218-5111-X
- M. Makkai: Duality and Definability in First Order Logic, Memoirs of the American Mathematical Society, 503, 1993, ISSN 0065-9266. doi:10.1090/memo/0503
References[]
- ^ 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.
- ^ Michael Makkai at the Mathematics Genealogy Project
- ^ "Makkai's CV at his McGill University Homepage" (PDF).
- ^ L. Harrington, M. Makkai, S. Shelah: A proof of Vaught's conjecture for ω-stable theories, Israel Journal of Mathematics, 49(1984), 259–280.
- ^ 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.
External links[]
- 1939 births
- Living people
- Canadian mathematicians
- Hungarian emigrants to Canada
- Hungarian mathematicians
- Members of the Hungarian Academy of Sciences