Michael Makkai

Publication Activity (10 Years)

Years Active: 1969-2013
Publications (10 Years): 0

Top Topics

Probability Measures

Top Venues

Theor. Comput. Sci.

Publications

Franck van Breugel, Claudio Hermida, Michael Makkai, James Worrell
Addendum to "Recursively defined metric spaces without contraction" [TCS 380 (1/2) (2007) 143-163]. Theor. Comput. Sci. 492 (2013)
Franck van Breugel, Claudio Hermida, Michael Makkai, James Worrell
Recursively defined metric spaces without contraction. Theor. Comput. Sci. 380 (1-2) (2007)
Franck van Breugel, Claudio Hermida, Michael Makkai, James Worrell
An Accessible Approach to Behavioural Pseudometrics. ICALP (2005)
Claudio Hermida, Michael Makkai, John Power
Higher Dimensional Multigraphs. LICS (1998)
Michael Makkai, Giuseppe Rosolini
Studying repleteness in the category of cpos. MFPS (1997)
Michael Makkai, Gonzalo E. Reyes
Completeness Results for Intuitionistic and Modal Logic in a Categorical Setting. Ann. Pure Appl. Log. 72 (1) (1995)
Michael Makkai
Towards a Categorical Foundation of Mathematics. Logic Colloquium (1995)
Michael Makkai
On Gabbay's Proof of the Craig Interpolation Theorem for Intuitionistic Predicate Logic. Notre Dame J. Formal Log. 36 (3) (1995)
Michael Makkai
The fibrational formulation of intuitionistic predicate logic I: completeness according to Gödel, Kripke, and Läuchli, Part 2. Notre Dame J. Formal Log. 34 (4) (1993)
Michael Makkai
The fibrational formulation of intuitionistic predicate logic I: completeness according to Gödel, Kripke, and Läuchli, Part 1. Notre Dame J. Formal Log. 34 (3) (1993)
Victor Harnik, Michael Makkai
Lambek's Categorical Proof Theory and Läuchli's Abstract Realizability. J. Symb. Log. 57 (1) (1992)
Saharon Shelah, Michael Makkai
, with k a Compact Ordinal. Ann. Pure Appl. Log. 47 (1) (1990)
Michael Makkai
A Theorem on Barr-Exact Categories, with an Infinitary Generalization. Ann. Pure Appl. Log. 47 (3) (1990)
Michael Makkai
Strong conceptual completeness for first-order logic. Ann. Pure Appl. Log. 40 (2) (1988)
Leo Harrington, Michael Makkai
An exposition of Shelah's "main gap": counting uncountable models of ω-stable and superstable theories. Notre Dame J. Formal Log. 26 (2) (1985)
Michael Makkai
An Example Concerning Scott Heights. J. Symb. Log. 46 (2) (1981)
Victor Harnik, Michael Makkai
Applications of Vaught Sentences and the Covering Theorem. J. Symb. Log. 41 (1) (1976)
Michael Makkai
On the Model Theory of Denumerably Long Formulas with Finite Strings of Quantifiers. J. Symb. Log. 34 (3) (1969)