arXiv:2303.02521 [math.NT]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords unit groups, algebraic extensions, first-order definability, large collection, decidability questions Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset