Menachem Magidor and Jerome Malitz. Compact extensions of L(Q) (Part 1a). Annals of mathematical logic, vol. 11 (1977), pp. 217–261. - Matt Kaufmann. A new omitting types theorem for L(Q). The journal of symbolic logic, vol. 44 (1979), pp. 507–521.
Kim B. Bruce · Journal of Symbolic Logic · 1985
Menachem Magidor and Jerome Malitz. Compact extensions of L(Q) (Part 1a). Annals of mathematical logic, vol. 11 (1977), pp. 217–261. - Matt Kaufmann. A new omitting types theorem for L(Q). The journal of symbolic logic, vol. 44 (1979), pp. 507–521. - Volume 50 Issue 4