arXiv:2103.08302 [math.NT]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords integer variables, mixed quantifier prefixes, diophantine equations, universal quantifies, similar undecidable results Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset