On the Model Theory of Denumerably Long Formulas with Finite Strings of Quantifiers. - Michael Makkai (J. Symb. Log., 1969)

Applications of Vaught Sentences and the Covering Theorem. - Victor Harnik; Michael Makkai (J. Symb. Log., 1976)

An Example Concerning Scott Heights. - Michael Makkai (J. Symb. Log., 1981)

An exposition of Shelah's "main gap": counting uncountable models of ω-stable and superstable theories. - Leo Harrington; Michael Makkai (Notre Dame J. Formal Log., 1985)

Strong conceptual completeness for first-order logic. - Michael Makkai (Ann. Pure Appl. Log., 1988)

A Theorem on Barr-Exact Categories, with an Infinitary Generalization. - Michael Makkai (Ann. Pure Appl. Log., 1990)

Categoricity of Theories in Lk omega, with k a Compact Ordinal. - Saharon Shelah; Michael Makkai (Ann. Pure Appl. Log., 1990)

Lambek's Categorical Proof Theory and Läuchli's Abstract Realizability. - Victor Harnik; Michael Makkai (J. Symb. Log., 1992)

The fibrational formulation of intuitionistic predicate logic I: completeness according to Gödel, Kripke, and Läuchli, Part 1. - Michael Makkai (Notre Dame J. Formal Log., 1993)

The fibrational formulation of intuitionistic predicate logic I: completeness according to Gödel, Kripke, and Läuchli, Part 2. - Michael Makkai (Notre Dame J. Formal Log., 1993)

Towards a Categorical Foundation of Mathematics. - Michael Makkai (Logic Colloquium, 1995)

Completeness Results for Intuitionistic and Modal Logic in a Categorical Setting. - Michael Makkai; Gonzalo E. Reyes (Ann. Pure Appl. Log., 1995)

On Gabbay's Proof of the Craig Interpolation Theorem for Intuitionistic Predicate Logic. - Michael Makkai (Notre Dame J. Formal Log., 1995)

Studying repleteness in the category of cpos. - Michael Makkai; Giuseppe Rosolini (MFPS, 1997)

Higher Dimensional Multigraphs. - Claudio Hermida; Michael Makkai; John Power (LICS, 1998)

An Accessible Approach to Behavioural Pseudometrics. - Franck van Breugel; Claudio Hermida; Michael Makkai; James Worrell 001 (ICALP, 2005)

Recursively defined metric spaces without contraction. - Franck van Breugel; Claudio Hermida; Michael Makkai; James Worrell 001 (Theor. Comput. Sci., 2007)

Addendum to "Recursively defined metric spaces without contraction" [TCS 380 (1/2) (2007) 143-163]. - Franck van Breugel; Claudio Hermida; Michael Makkai; James Worrell 001 (Theor. Comput. Sci., 2013)