The following pages link to Michael Makkai (Q175558):
Displaying 5 items.
- Addendum to ``Recursively defined metric spaces without contraction'' (Q391132) (← links)
- An exposition of Shelah's 'main gap': counting uncountable models of \(\omega\)-stable and superstable theories (Q1073784) (← links)
- The fibrational formulation of intuitionistic predicate logic. I: Completeness according to Gödel, Kripke, and Läuchli. Part 2 (Q1317969) (← links)
- The fibrational formulation of intuitionistic predicate logic. I: Completeness according to Gödel, Kripke, and Läuchli. Part 1 (Q1317983) (← links)
- On Gabbay's proof of the Craig interpolation theorem for intuitionistic predicate logic (Q1906666) (← links)
