Bounded statements in the theory of algebraically closed fields with distinguished automophisms. Moshe Jarden, Dan Haran (1982) Journal für die reine und angewandte Mathematik