arXiv:1902.00895 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords derivability conditions, buchholzs schematic proof, provability predicates, consistency statements, non-implications Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset