Barwise and A Robinson. Completing theories by forcing (1970)

by K J
Venue:Annals of Mathematical Logic