Jump to content

Michael Makkai

From Wikipedia, the free encyclopedia

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]
  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. ^ Michael Makkai at the Mathematics Genealogy Project
  3. ^ "Makkai's CV at his McGill University Homepage" (PDF).
  4. ^ L. Harrington, M. Makkai, S. Shelah: A proof of Vaught's conjecture for ω-stable theories, Israel Journal of Mathematics, 49(1984), 259–280.
  5. ^ 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
  6. ^ Paul Erdős, Michael Makkai: Some Remarks on Set Theory, X, Stud. Sci. Math. Hungar. 1, 157-159 (1966)
  7. ^ 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.
  8. ^ 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.
[edit]
  • Makkai's homepage at the Hungarian Academy of Sciences
  • Makkai's homepage at McGill University