Completing Theories by Forcing (1970)

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