arXiv:1810.10377 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords strongly nip ordered fields, infinite strongly nip field, non-trivial definable henselian valuation, dp-minimal ordered fields, conjecture Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset