2 joint papers of Michael Makkai with Shelah

MaSh:285
Makkai+Shelah, Categoricity of theories in $L_ {\kappa\omega},$ with $\kappa$ a compact cardinal -- Annals Pure and Applied Logic 47 (1990) 41-97
ShHM:158
Shelah+Harrington+Makkai, A proof of Vaught's conjecture for $\omega$-stable theories -- Israel J Math 49 (1984) 259-280