arXiv:2404.06805 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords continuous functions, kohlenbachs higher-order reverse mathematics, study basic third-order statements, unrepresented compact metric spaces, similar behaviour Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset