词条 | Michael Makkai |
释义 |
Michael Makkai ({{lang-hu|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, and in the theory of topoi. He 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 the McGill University, retiring in 2010. He is an external member of the Hungarian Academy of Sciences (1995). With Leo Harrington and Saharon Shelah he proved the Vaught conjecture for ω-stable theories.[4] Selected publications
References1. ^{{cite book|last1=Benthem|first1=Johan Van|last2=Heinzmann|first2=Gerhard|last3=Rebuschi|first3=Manuel|author4=Henk Visser|title=The age of alternative logics: assessing philosophy of logic and mathematics today|url=https://books.google.com/books?id=5ycgFGs_0iYC&pg=PA182|accessdate=28 June 2011|date=2006-11-14|publisher=Springer|isbn=978-1-4020-5011-4|pages=182–}} 2. ^{{MathGenealogy|id=62420}} 3. ^{{cite web|title=Makkai's CV at his McGill University Homepage|url=http://www.math.mcgill.ca/makkai/Various/CV0001.pdf}} 4. ^L. Harrington, M. Makkai, S. Shelah: A proof of Vaught's conjecture for ω-stable theories, Israel J. Math., 49(1984), 259–280. 5. ^{{cite journal|author=Monk, J. D.|title=Review: First order categorical logic by Michael Makkai and Gonzalo E. Reyes|journal=Bull. Amer. Math. Soc.|year=1978|volume=84|issue=6|pages=1378–1380|url=http://www.ams.org/journals/bull/1978-84-06/S0002-9904-1978-14587-X/S0002-9904-1978-14587-X.pdf|doi=10.1090/s0002-9904-1978-14587-x}} External links
6 : 1939 births|Living people|Canadian mathematicians|Hungarian emigrants to Canada|Hungarian mathematicians|Members of the Hungarian Academy of Sciences |
随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。