arXiv:2310.17862 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords model theoretic proof, o-minimal coherence theorem, spectral topology, model-theoretic proof, characteristic zero Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset