Forcing and the omitting types theorem, Studies in Model Theory (1973)

by H J Keisler
Venue:MAA Studies in Mathematics, vol. 8, Mathematical Association of America