arXiv:2106.03061 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords computability theorists, effective topos, minimal lawvere-tierney topology, imperfect information, geometric inclusion Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset