Michael Makkai (Hungarian: Makkai Mihály; 24 June 1939 in Budapest, Hungary) is a 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
editAcademic biography
editMakkai 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
editWith Leo Harrington and Saharon Shelah he proved the Vaught conjecture for ω-stable theories.[4]
With Robert Paré he further developed the theory of Accessible Categories.[5]
Makkai has an Erdős number of 1, having published "Some Remarks on Set Theory, X" with Paul Erdős in 1966.[6]
Selected publications
edit- M. Makkai, G. E. Reyes: First Order Categorical Logic, Lecture Notes in Mathematics, 611, Springer, 1977, viii 301 pp. doi:10.1007/BFb0066201[7]
- 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, doi:10.1090/conm/104[8]
- 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
edit- ^ 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.
- ^ M. Makkai, R. 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, doi:10.1090/conm/104
- ^ Paul Erdős, Michael Makkai: Some Remarks on Set Theory, X, Stud. Sci. Math. Hungar. 1, 157-159 (1966)
- ^ 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.
- ^ 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.