Adversarial Problems and the Limits of Uniform Resolution

A general method of resolution can take part in forming problems once their language represents the method itself. A fixed formation rule gives each sound resolver a presentation it cannot answer. Admitting the diagnosis yields a sound successor with an instance of its own. For standard arithmetical