arXiv:1902.02756 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords measure theory, weak compactness, non-computable rock, representations, full second-order arithmetic Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset