Let be a -Sentence. Then the following are equivalent: if and only if has a Model if and only if There is some such that for every if and only if For all there is some such that has a Model. noproof Generalization of Ax-Grothendieck Theorem