arXiv:1606.04194 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords second order arithmetic, logic calculus sbl, terminating cut-elimination procedure, bar induction, sbl corresponds Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset