arXiv:1907.04477 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords first epsilon theorem, intermediate logic, pure intuitionistic, classically valid quantifier shift principles, intuitionistic logic Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset