Michael Makkai (Hungarian: Makkai Mihály; 24 June 1939 in Budapest, Hungary) is a Canadian mathematician of Hungarian origin, specializing in mathematical logic.
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.
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.