Michael Makkai

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