arXiv:1404.4549 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords algebraic closure, sheaf model, extract computational content, general decide, suitable site model Tags journal article Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset