マイケル・マッカイ

マイケル・マッカイ（ハンガリー語：マッカイ・ミハイ、1939年6月24日、ハンガリー、ブダペスト生まれ）は、ハンガリー出身のカナダの数学者であり、数理論理学を専門としている。^[1]彼は、モデル理論、圏論、代数論理、型理論、トポイ理論を研究している。

キャリア

マッカイは1966年にポール・エルデシュと共著で「集合論に関するいくつかの考察、X」を出版しており、エルデシュ数は1である。 ^[6]

M. Makkai、GE Reyes:第一階範疇論理、数学講義ノート、611、Springer、1977、viii+301 pp. doi :10.1007/BFb0066201 ^[7]
L. Harrington、M. Makkai、S. Shelah: ω-安定理論に対する Vaught 予想の証明、イスラエル数学ジャーナル、 49 (1984)、259–280。doi :10.1007/ BF02760651
Michael Makkai、Robert Paré:アクセシブルなカテゴリ: カテゴリカルモデル理論の基礎。現代数学、104。 American Mathematical Society、プロビデンス、ロードアイランド州、1989。viii+176 pp. ISBN 0-8218-5111-X、doi :10.1090/conm/104 ^[8]
M. Makkai:一階述語論理における双対性と定義可能性、アメリカ数学会誌、503、1993、ISSN 0065-9266。doi :10.1090/ memo /0503

^ Benthem, Johan Van; Heinzmann, Gerhard; Rebuschi, Manuel; Henk Visser (2006-11-14). 代替論理の時代: 今日の論理と数学の哲学を評価する。Springer。pp. 182– 。ISBN 978-1-4020-5011-4. 2011年6月28日閲覧。
^ 数学系譜プロジェクトのマイケル・マッカイ
^ “マギル大学ホームページにあるマッカイ氏の履歴書” (PDF) .
^ L. Harrington、M. Makkai、S. Shelah：「ω-安定理論に対するVaughtの予想の証明」、Israel Journal of Mathematics、 49（1984）、259-280。
^ M. Makkai、R. Paré:アクセス可能なカテゴリー: カテゴリカルモデル理論の基礎。現代数学、104。 American Mathematical Society、プロビデンス、ロードアイランド州、1989。viii+176 pp. ISBN 0-8218-5111-X、doi :10.1090/conm/104
^ Paul Erdős、Michael Makkai: 集合論、X、スタッドに関するいくつかのコメント。科学。数学。ハンガル。 1、157-159 (1966)
^ Monk, JD (1978). 「レビュー: Michael Makkai と Gonzalo E. Reyes による第 1 階カテゴリカル論理」(PDF) . Bull. Amer. Math. Soc . 84 (6): 1378–1380. doi : 10.1090/s0002-9904-1978-14587-x .
^ Gray, JW (1991). 「レビュー: Michael Makkai と Robert Paré、『アクセス可能なカテゴリ: カテゴリモデル理論の基礎』」(PDF) . Bull. Amer. Math. Soc. (NS) . 25 (1): 131–140. doi : 10.1090/S0273-0979-1991-16045-3 .