Michael Makkai
Michael Makkai ( ungerska : Makkai Mihály ; 24 juni 1939 i Budapest , Ungern ) är kanadensisk matematiker av ungerskt ursprung, specialiserad på matematisk logik . Han arbetar med modellteori , kategoriteori , algebraisk logik , typteori och topoi -teorin .
Karriär
Akademisk biografi
Makkai tilldelades sin doktorsexamen från Eötvös Loránd University , Budapest, 1966, efter att ha varit under handledning av Rózsa Péter och Andrzej Mostowski . Han arbetade sedan vid det matematiska institutet vid den ungerska vetenskapsakademin . Mellan 1974 och 2010 var han professor i matematik vid McGill University och gick i pension 2010. Han är också extern medlem av Ungerska vetenskapsakademin (1995).
Arbete
Med Leo Harrington och Saharon Shelah bevisade han Vaughts gissning för ω-stabila teorier.
Med Robert Paré vidareutvecklade han teorin om tillgängliga kategorier .
Makkai har ett Erdős nummer 1, efter att ha publicerat "Some Remarks on Set Theory, X" med Paul Erdős 1966.
Utvalda publikationer
- M. Makkai, GE Reyes: First Order Categorical Logic, Lecture Notes in Mathematics , 611 , Springer, 1977, viii+301 pp. doi : 10.1007/BFb0066201
- L. Harrington, M. Makkai, S. Shelah: Ett bevis på Vaughts gissning för ω-stabila teorier, Israel Journal of Mathematics , 49 (1984), 259–280. doi : 10.1007/BF02760651
- Michael Makkai, Robert Paré: Tillgängliga kategorier: grunderna för kategorisk modellteori . Samtida matematik, 104 . American Mathematical Society, Providence, RI, 1989. viii+176 s. ISBN 0-8218-5111-X , doi : 10.1090/conm/104
- 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
externa länkar
| Allmän | |
|---|---|
| Nationalbibliotek | |
| Vetenskapliga databaser | |
| Övrig | |
