arXiv:2407.05043 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords model theory, residue characteristic zero, deduce relative quantifier elimination, non-surjective valued field endomorphism, frobenius action Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset