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[edit]
Academic biography[edit]
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[edit]
With 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.
External links[edit]
| International | |
|---|---|
| National | |
| Academics | |
| Other | |
