Abraham Robinson On Predicates in Algebraically Closed Fields. 103-114 1954 19 J. Symb. Log. 2 db/journals/jsyml/jsyml19.html#Robinson54