Classification of Quantifier Prefixes Over Exponential Diophantine Equations

James P. Jones, Hilbert Levitz, A. J. Wilkie. Classification of Quantifier Prefixes Over Exponential Diophantine Equations. Math. Log. Q., 32(25-30):399-406, 1986. [doi]

Abstract

Abstract is missing.