arXiv:2208.03027 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords uncountability, real numbers, countable set, basic properties, kohlenbachs higher-order reverse mathematics Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset