Michael Makkai - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 18 from 18

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. TCS, 492:117-122, 2013. [doi]

2007

Recursively defined metric spaces without contractionFranck van Breugel, Claudio Hermida, Michael Makkai, James Worrell. TCS, 380(1-2):143-163, 2007. [doi]

2005

An Accessible Approach to Behavioural PseudometricsFranck van Breugel, Claudio Hermida, Michael Makkai, James Worrell. icalp 2005: 1018-1030 [doi]

1998

Higher Dimensional MultigraphsClaudio Hermida, Michael Makkai, John Power. lics 1998: 199-206

1997

Studying repleteness in the category of cposMichael Makkai, Giuseppe Rosolini. ENTCS, 6:249-254, 1997. [doi]

1995

Completeness Results for Intuitionistic and Modal Logic in a Categorical SettingMichael Makkai, Gonzalo E. Reyes. APAL, 72(1):25-101, 1995.

On Gabbay s Proof of the Craig Interpolation Theorem for Intuitionistic Predicate LogicMichael Makkai. ndjfl, 36(3):364-381, 1995.

Towards a Categorical Foundation of MathematicsMichael Makkai. logicColl 1998: 153-190 [doi]

1993

The fibrational formulation of intuitionistic predicate logic I: completeness according to Gödel, Kripke, and Läuchli, Part 2Michael Makkai. ndjfl, 34(4):471-498, 1993. [doi]

The fibrational formulation of intuitionistic predicate logic I: completeness according to Gödel, Kripke, and Läuchli, Part 1Michael Makkai. ndjfl, 34(3):334-377, 1993. [doi]

1992

Lambek s Categorical Proof Theory and Läuchli s Abstract RealizabilityVictor Harnik, Michael Makkai. JSYML, 57(1):200-230, 1992.

1990

A Theorem on Barr-Exact Categories, with an Infinitary GeneralizationMichael Makkai. APAL, 47(3):225-268, 1990.

Categoricity of Theories in L::k omega::, with k a Compact OrdinalSaharon Shelah, Michael Makkai. APAL, 47(1):41-97, 1990.

1988

Strong conceptual completeness for first-order logicMichael Makkai. APAL, 40(2):167-215, 1988. [doi]

1985

An exposition of Shelah's "main gap": counting uncountable models of ω-stable and superstable theoriesLeo Harrington, Michael Makkai. ndjfl, 26(2):139-177, 1985. [doi]

1981

An Example Concerning Scott HeightsMichael Makkai. JSYML, 46(2):301-318, 1981.

1976

Applications of Vaught Sentences and the Covering TheoremVictor Harnik, Michael Makkai. JSYML, 41(1):171-187, 1976.

1969

On the Model Theory of Denumerably Long Formulas with Finite Strings of QuantifiersMichael Makkai. JSYML, 34(3):437-459, 1969.

Sign in or sign up to see more results.

runs on WebDSL