Michael Makkai

Michael Makkai ( húngaro : Makkai Mihály ; 24 de junio de 1939 en Budapest , Hungría ) es un matemático canadiense de origen húngaro , especializado en lógica matemática . ^[1] Trabaja en teoría de modelos , teoría de categorías , lógica algebraica , teoría de tipos y teoría de topoi .

Carrera [ editar ]

Makkai obtuvo su doctorado de la Universidad Eötvös Loránd , Budapest, en 1966, habiendo sido supervisado por Rózsa Péter y Andrzej Mostowski . ^[2] Luego trabajó en el Instituto de Matemáticas de la Academia de Ciencias de Hungría . ^[3] Entre 1974 y 2010, fue profesor de matemáticas en la Universidad McGill y se jubiló en 2010. También es miembro externo de la Academia de Ciencias de Hungría (1995).

Con Leo Harrington y Saharon Shelah demostró la conjetura de Vaught para las teorías ω-estables. ^[4]

M. Makkai, GE Reyes: Primer Orden categórica la lógica, Lecture Notes in Mathematics , 611 , Springer, 1977, viii + 301 pp. <Ver TFD> doi : 10.1007 / BFb0066201 ^[5]
L. Harrington, M. Makkai, S. Shelah: Una prueba de la conjetura de Vaught para las teorías ω-estables, Israel J. Math. , 49 (1984), 259-280. ‹Ver Tfd› doi : 10.1007 / BF02760651
Michael Makkai, Robert Paré: Categorías accesibles: los fundamentos de la teoría de modelos categóricos . Matemáticas contemporáneas, 104 . Sociedad Americana de Matemáticas, Providence, RI, 1989. viii + 176 págs. ISBN 0-8218-5111-X
M. Makkai: Dualidad y definibilidad en la lógica de primer orden , Memorias de la Sociedad Matemática Estadounidense, 503 , 1993, ISSN 0065-9266. ‹Ver Tfd› doi : 10.1090 / memo / 0503

^ Benthem, Johan Van; Heinzmann, Gerhard; Rebuschi, Manuel; Henk Visser (14 de noviembre de 2006). La era de las lógicas alternativas: evaluación de la filosofía de la lógica y las matemáticas en la actualidad . Saltador. págs. 182–. ISBN 978-1-4020-5011-4. Consultado el 28 de junio de 2011 . CS1 maint: parámetro desalentado ( enlace )
^ Michael Makkai en el Proyecto de genealogía matemática
^ "CV de Makkai en su página de inicio de la Universidad McGill" (PDF) .
^ L. Harrington , M. Makkai, S. Shelah : Una prueba de la conjetura de Vaught para las teorías-estable, Israel J. Math. , 49 (1984), 259-280.
^ Monk, JD (1978). "Reseña: Lógica categórica de primer orden de Michael Makkai y Gonzalo E. Reyes" (PDF) . Toro. Amer. Matemáticas. Soc . 84 (6): 1378-1380. doi : 10.1090 / s0002-9904-1978-14587-x .