arXiv:1104.3077 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords baire space, brouwers intuitionistic perspective, projective set, co-analytic set, first study analytic sets Tags journal article Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset