arXiv:1706.03302 [math.NT]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords existential definitions, finite-fold diophantine definition, integral functions, characteristic, one-variable function field Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset