arXiv Analytics

Sign in

arXiv:1606.04194 [math.LO]AbstractReferencesReviewsResources

Cut-elimination for SBL

Toshiyasu Arai

Published 2016-06-14Version 1

In this paper we give a terminating cut-elimination procedure for a logic calculus SBL. SBL corresponds to the second order arithmetic Pi^{1}_{2}-Separation and Bar Induction.

Categories: math.LO
Subjects: 03F05
Related articles: Most relevant | Search more
arXiv:2202.03476 [math.LO] (Published 2022-02-07)
Admissible extensions of subtheories of second order arithmetic
arXiv:1405.4485 [math.LO] (Published 2014-05-18)
Well ordering principles and bar induction
arXiv:math/9602203 [math.LO] (Published 1996-02-13)
Lebesgue numbers and Atsuji spaces in subsystems of second order arithmetic

Links

Toolbox