arXiv:2005.12681 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords quasi-real closed fields, quantifier elimination, real closed valued fields, algebraically closed valued fields Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset