arXiv:2208.13623 [math.GR]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords chevalley group, local ring, regular bi-interpretability, root systems, elementary Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset