Mixed quantifier prefixes over Diophantine equations with integer variables - Zhi-Wei Sun (2021)