H. Jerome Keisler Theory of Models with Generalized Atomic Formulas. 1-26 1960 25 J. Symb. Log. 1 db/journals/jsyml/jsyml25.html#Keisler60