arXiv:1912.07912 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords generic derivation, topological fields, real closed fields, open core property, field sort quantifiers Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset