Completing theories by forcing (1970)

by J Barwise, A Robinson
Venue:Annals of Mathematical logic