arXiv:1904.11378 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords constructive mathematics, impossible theorems, second glance Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset