| Completeness results for intuitionistic and modal logic in a categorical setting | 15 | 1.80 | 1995 |
| Towards a categorical foundation of mathematics | 4 | 0.60 | 1995 |
| An exposition of Shelah's "main gap": counting uncountable models of ω-stable and superstable theories. | 0 | 0.34 | 1985 |
