arXiv:math/0703907 [math.NT]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords rational numbers, universal-existential formula, characterizing integers, universal quantifiers, existential quantifiers Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset