Michael Makkai

Michael Makkai (Hungarian: Makkai Mihály, 24 June 1939, Budapest) is a Canadian mathematician, specializing in mathematical logic.^[1] He works in model theory, category theory, algebraic logic, and in the theory of topoi. He graduated from the Eötvös Loránd University, Budapest, then worked at the Mathematical Institute of the Hungarian Academy of Sciences. He learned logic from Rózsa Péter and Andrzej Mostowski.Between 1974 and 2010, he was professor of mathematics at the McGill University. He retired in 2010. He is an external member of the Hungarian Academy of Sciences (1995).

With Leo Harrington and Saharon Shelah he proved the Vaught conjecture for ω-stable theories.

Makkai has an Erdős number of 1, having coauthored "Some remarks on set theory. X." with Paul Erdős in 1966.

Selected publications

• M. Makkai, G. E. Reyes: First Order Categorical Logic, Lecture Notes in Mathematics, 611, Springer, 1977.
• L. Harrington, M. Makkai, S. Shelah: A proof of Vaught's conjecture for ω-stable theories, Israel J. Math., 49(1984), 259–280.
• 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

References

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 9781402050114. http://books.google.com/books?id=5ycgFGs_0iYC&pg=PA182. Retrieved 28 June 2011. 

External links

• Makkai's homepage at the Hungarian Academy of Sciences

Persondata
Name	Makkai, Michael
Alternative names
Short description
Date of birth	24 June 1939
Place of birth
Date of death
Place of death