Makkai Mihály
A Wikipédiából, a szabad lexikonból.
Makkai Mihály (Budapest, 1939. június 24.) magyar származású kanadai matematikus, Makkai László történész fia. Péter Rózsa tanítványa, modellelmélettel, algebrai logikával, kategóriaelmélettel, a toposzok elméletével foglalkozik. Dualitáselméletet dolgozott ki az elsőrendű elméletekre. Ebből definiálhatóségi tételt igazolt. A montreali McGill University professzora. Az MTA külső tagja (1995).
[szerkesztés] Könyvei
- M. Makkai, G. E. Reyes: First Order Categorical Logic, Lecture Notes in Mathematics, 611, Springer, 1977.
- 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


Based on work by