Concepedia

Michael Makkai

MM

34

Publications

1.1K

Citations

20

H-Index

1964

Active since

Affiliations

McGill University(Current)

Hebrew University of Jerusalem

University of Edinburgh

Université de Montréal

Hungarian Academy of Sciences

Michael Makkai is an author at McGill University specializing in automated reasoning, engineering, and formal methods.

Top concepts

Automated ReasoningEngineeringSemanticsFormal MethodsLanguageLinguisticsSyntaxDiscrete MathematicsComputer ScienceRepresentation Theory

Publications per year

1964–2014

34

Publications

34

A survey of basic stability theory, with particular emphasis on orthogonality and regular types

Michael Makkai · Israel Journal of Mathematics · 1984 · 128 citations

Regular Types, Engineering, Particular Emphasis +8

A proof of vaught’s conjecture forω-stable theories

Saharon Shelah, Louise Harrington, Michael Makkai · Israel Journal of Mathematics · 1984 · 64 citations

Unified Field Theory

On weak higher dimensional categories I: Part 1

Claudio Hermida, Michael Makkai, John Power · Journal of Pure and Applied Algebra · 2000 · 61 citations

Higher Category Theory, Categorical Model, Part 1

Avoiding the axiom of choice in general category theory

Michael Makkai · Journal of Pure and Applied Algebra · 1996 · 58 citations

Higher Category Theory, Categorical Model, General Category Theory +1

Stationary logic

Jon Barwise, Matt Kaufmann, Michael Makkai · Annals of Mathematical Logic · 1978 · 57 citations

Rows per page

1–5 of 34