"Local quantifier elimination" - читать интересную книгу автора (Dolzmann.)