arXiv:2401.06884 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords positive residue characteristic, non-trivial henselian valuation rings, non-trivial definable henselian valuation, canonical henselian valuation, treat cases Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset