Michael Makkai

Q: What Schools Are Affiliated With Michael Makkai

Michael Makkai is affiliated with the following schools: Eötvös Loránd University, University of Chicago

Michael Makkai's AcademicInfluence.com Rankings

Michael Makkai

Mathematics

#3438

World Rank

#5075

Historical Rank

Measure Theory

#3293

World Rank

#3892

Historical Rank

mathematics Degrees

Download Badge

Mathematics

Michael Makkai's Degrees

PhD Mathematics University of Chicago

Why Is Michael Makkai Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Michael Makkai is Canadian mathematician of Hungarian origin, specializing in mathematical logic. He works in model theory, category theory, algebraic logic, type theory and the theory of topoi. Career

(See a Problem?)

Michael Makkai's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Accessible categories : the foundations of categorical model theory (1989) (387)
First order categorical logic (1977) (351)
A survey of basic stability theory, with particular emphasis on orthogonality and regular types (1984) (125)
Generalized sketches as a framework for completeness theorems (1997) (77)
On weak higher dimensional categories I: Part 1 ( (2000) (67)
Avoiding the axiom of choice in general category theory (1996) (67)
Towards a Categorical Foundation of Mathematics (1995) (58)
Completeness Results for Intuitionistic and Modal Logic in a Categorical Setting (1995) (53)
Stone duality for first order logic (1987) (51)
Stone duality for first order logic (1987) (51)
An example concerning Scott heights (1981) (49)
Admissible Sets and Infinitary Logic (1977) (45)
Duality and Definability in First Order Logic (1993) (43)
Categoricity of Theories in Lk omega, with k a Compact Ordinal (1990) (38)
An exposition of Shelah's "main gap": counting uncountable models of ω-stable and superstable theories (1985) (38)
A Theorem on Barr-Exact Categories, with an Infinitary Generalization (1990) (38)
Recursively defined metric spaces without contraction (2007) (36)
First Order Logic with Dependent Sorts, with Applications to Category Theory (34)
Duality for simple -categories and disks. (2001) (33)
Some results on locally finitely presentable categories (1987) (32)
Ultraproducts and categorical logic (1985) (32)
On the model theory of denumerably long formulas with finite strings of quantifiers (1969) (31)
Cellular categories (2013) (29)
Strong conceptual completeness for first-order logic (1988) (27)
On weak higher-dimensional categories I—3☆ (2002) (27)
On a generalization of a theorem of E. W. Beth (1964) (26)
On weak higher-dimensional categories I - 2 (2001) (25)
On the lattice of subalgebras of a Boolean algebra (1972) (25)
An Accessible Approach to Behavioural Pseudometrics (2005) (25)
Lambek's categorical proof theory and Läuchli's abstract realizability (1992) (24)
Higher dimensional multigraphs (1998) (23)
Applications of vaught sentences and the covering theorem (1976) (22)
On a fat small object argument (2013) (21)
A tree argument in infinitary model theory (1977) (20)
The category of 3-computads is not cartesian closed (2007) (17)
A proof of Baker’s finite-base theorem on equational classes generated by finite elements of congruence distributive varieties (1973) (16)
The topos of types (1981) (15)
A correction to “stationary logic” (1981) (15)
An “admissible” generalization of a theorem on countable ∑11 sets of reals with applications (1977) (14)
The fibrational formulation of intuitionistic predicate logic I: completeness according to Gödel, Kripke, and Läuchli, Part 2 (1993) (14)
The fibrational formulation of intuitionistic predicate logic I: completeness according to Gödel, Kripke, and Läuchli, Part 1 (1993) (14)
Universal Horn axiom systems for lattices of submodules (1977) (13)
A note on the Penon definition of $n$-category (2009) (11)
Full continuous embeddings of toposes (1982) (11)
Generalizing Vaught sentences from ω to strong cofinality ω (1974) (10)
The multitopic ω-category of all multitopic ω-categories (2004) (10)
Solution of a problem of G. Grätzer concerning endomorphism semigroups (1964) (9)
On comparing definitions of weak n-category (2001) (9)
Global definability theory in $L_{\omega _1 \omega }$ (1973) (9)
Svenonius sentences and Lindström's theory on preservation theorems (1972) (9)
Computads and Multitopic Sets (2008) (9)
On Gabbay's Proof of the Craig Interpolation Theorem for Intuitionistic Predicate Logic (1995) (7)
Vaught sentences and Lindström's regular relations (1973) (7)
A compactness result concerning direct products of models (1965) (7)
On Representations of Grothendieck Toposes (1987) (6)
On full embeddings I (1980) (6)
Duality for Simple omega-categories and Disks (2001) (5)
The theory of abstract sets based on first-order logic with dependent types (2013) (4)
Accessible embeddings and the solution-set condition (1994) (4)
New axiomatizations for logics with generalized quantifiers (1979) (3)
Studying repleteness in the category of cpos (1997) (3)
University of Illinois at Chicago, Chicago, IL, June 1–4, 2003 (2004) (2)
Structures elementarily equivalent relative to infinitary languages to models of higher power (1970) (2)
An _{₁} complete and consistent theory without models (1977) (2)
Review: S. C. Kleene, Finite Axiomatizability of Theories in the Predicate Calculus Using Additional Predicate Symbols; W. Craig, R. L. Vaught, Finite Axiomatizability Using Additional Predicates (1971) (2)
Addendum to "Recursively defined metric spaces without contraction" [TCS 380 (1/2) (2007) 143-163] (2013) (1)
Anand Pillay. An introduction to stability theory. Oxford logic guides, no. 8. Clarendon Press, Oxford University Press, Oxford and New York1983, xi + 146 pp. (1986) (1)
An L ω 1 ω Complete and Consistent Theory Without Models (1977) (1)
Review: Anand Pillay, An Introduction to Stability Theory (1986) (1)
Chapter 4: Sketching accessible categories (1989) (0)
Chapter 2: Accessible categories and functors (1989) (0)
A remark on a paper of J.-P. Ressayre (1974) (0)
JSL volume 50 issue 4 Cover and Back matter and Errata (1985) (0)
Chapter 3: Sketches and logic (1989) (0)
Chapter 5: Limits and colimits of accessible categories (1989) (0)
Review: C. C. Chang and H. J. Keisler, Model theory (1976) (0)
Glossary of notation (1989) (0)
Chapter 6: Limits and colimits in accessible categories (1989) (0)
Interpretation of the logic in categories (1977) (0)
Boolean and heyting valued models (1977) (0)
Errata to the paper "Generalizing Vaught sentences from ω to strong cofinality ω", Fundamenta Mathematicae 82 (1974), pp. 105-119 (1975) (0)
Review: C. C. Chang, H. J. Keisler, Model Theory (1991) (0)
Chapter 1: Preliminaries (1989) (0)
An $L\sb{\omega \sb{1}\omega }$ complete and consistent theory without models (1977) (0)
Existence theorems on geometric morphisms of topoi (1977) (0)
Generalized sketches as a framework theorems . Part I 1 M . Makkai ” for completeness (2003) (0)
Theories as categories (1977) (0)
Review: M. A. Dickmann, Large Infinitary Languages. Model Theory (1978) (0)
C. C. Chang and H. J. Keisler. Model theory . Third edition of XLI 697. Studies in logic and the foundations of mathematics, vol. 73. North-Holland, Amsterdam, New York, etc., 1990, xvi + 650 pp. (1991) (0)
Axioms and rules of inference valid in categories (1977) (0)
Review: Gerald E. Sacks, Saturated Model Theory (1975) (0)
JSL volume 48 issue 3 Cover and Front matter (1983) (0)
Barwise Jon. Implicit definability and compactness in infinitary languages. The syntax and semantics of infinitary languages , edited by Barwise Jon, Lecture notes in mathematics, no. 72, Springer-Verlag, Berlin, Heidelberg, and New York, 1968, pp. 1–35. (1972) (0)
Review: Jon Barwise, Implicit definability and compactness in infinitary languages (1972) (0)
Review: R. Sikorski, A Theorem on Non-Classical Functional Calculi; R. Sikorski, Some Applications of Interior Mappings (1967) (0)
Sikorski R.. A theorem on non-classical functional calculi. Bulletin de l'Academie Polonaise des Sciences , Classe III, vol. 4 (1956), pp. 649–650. Sikorski R.. Some applications of interior mappings. Fundamenta mathematicae , vol. 45 (1957), pp. 200–212. (1968) (0)
Review: A. I. Omarov, On Compact Classes of Models (1969) (0)

This paper list is powered by the following services:

Other Resources About Michael Makkai

en.wikipedia.org

What Schools Are Affiliated With Michael Makkai?

Michael Makkai is affiliated with the following schools:

Michael Makkai's Academic­Influence.com Rankings