Displaying similar documents to “Bounded statements in the theory of algebraically closed fields with distinguished automophisms.”