Michael Makkai

According to our database, Michael Makkai authored at least 18 papers between 1969 and 2013.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of two.

2013

Addendum to "Recursively defined metric spaces without contraction" [TCS 380 (1/2) (2007) 143-163].

Franck van Breugel, Claudio Hermida, Michael Makkai, James Worrell

Theor. Comput. Sci., 2013

2007

Recursively defined metric spaces without contraction.

Franck van Breugel, Claudio Hermida, Michael Makkai, James Worrell

Theor. Comput. Sci., 2007

2005

An Accessible Approach to Behavioural Pseudometrics.

Franck van Breugel, Claudio Hermida, Michael Makkai, James Worrell

Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005

1998

Higher Dimensional Multigraphs.

Claudio Hermida, Michael Makkai, John Power

Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998

1997

Studying repleteness in the category of cpos.

Michael Makkai, Giuseppe Rosolini

Proceedings of the Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, 1997

1995

On Gabbay's Proof of the Craig Interpolation Theorem for Intuitionistic Predicate Logic.

Michael Makkai

Notre Dame J. Formal Log., 1995

Completeness Results for Intuitionistic and Modal Logic in a Categorical Setting.

Michael Makkai, Gonzalo E. Reyes

Ann. Pure Appl. Log., 1995

Towards a Categorical Foundation of Mathematics.

Michael Makkai

Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, 1995

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

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

1992

Lambek's Categorical Proof Theory and Läuchli's Abstract Realizability.

Victor Harnik, Michael Makkai

J. Symb. Log., 1992

1990

Categoricity of Theories in L_{k omega}, with k a Compact Ordinal.

Saharon Shelah, Michael Makkai

Ann. Pure Appl. Log., 1990

A Theorem on Barr-Exact Categories, with an Infinitary Generalization.

Michael Makkai

Ann. Pure Appl. Log., 1990

1988

Strong conceptual completeness for first-order logic.

Michael Makkai

Ann. Pure Appl. Log., 1988

1985

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

1981

An Example Concerning Scott Heights.

Michael Makkai

J. Symb. Log., 1981

1976

Applications of Vaught Sentences and the Covering Theorem.

Victor Harnik, Michael Makkai

J. Symb. Log., 1976

1969

On the Model Theory of Denumerably Long Formulas with Finite Strings of Quantifiers.

Michael Makkai

J. Symb. Log., 1969