George S. Sacerdote Projective Model Completeness. 117-123 1974 39 J. Symb. Log. 1 db/journals/jsyml/jsyml39.html#Sacerdote74