@article{1183740460, author = {Kaufmann, Matt}, title = {A New Omitting Types Theorem for $L(Q)$}, journal = {J. Symbolic Logic}, volume = {44}, number = {1}, year = {1979}, pages = { 507-521}, language = {en}, url = {http://dml.mathdoc.fr/item/1183740460} }
Kaufmann, Matt. A New Omitting Types Theorem for $L(Q)$. J. Symbolic Logic, Tome 44 (1979) no. 1, pp. 507-521. http://gdmltest.u-ga.fr/item/1183740460/