arXiv:1910.01239 [math.NT]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords totally imaginary infinite extensions, unit groups, undecidability, totally real fields, undecidable first-order theory Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset