arXiv:2409.04562 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords countable choice, coding compact metric spaces, similar third-order statements, full second-order arithmetic, standard second-order representation Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset