From Wikipedia, the free encyclopedia
Canadian mathematician
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
Academic biography
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
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
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
^ 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
Makkai's
homepage at the Hungarian Academy of Sciences
Makkai's
homepage at McGill University
International National Academics Other