Finite Forcing, Existential Types and Complete Types.

Joram Hirschfeld Finite Forcing, Existential Types and Complete Types. 93-102 1980 45 J. Symb. Log. 1 db/journals/jsyml/jsyml45.html#Hirschfeld80