arXiv:0709.1739 [math.NT]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords function field, positive characteristic, undecidability, first-order theory, constant field Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset