The following pages link to Michael Makkai (Q175558):
Displaying 4 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)
