arXiv:1907.02262 [math.GR]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords profinite groups, group theory, finite axiomatizability, first-order language Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset