Unprovability of consistency statements in fragments of bounded arithmetic

Samuel R. Buss, Aleksandar Ignjatović
1995 Annals of Pure and Applied Logic  
This paper deals with the weak fragments of arithmetic P V and S i 2 and their induction-free fragments P V − and S −1
doi:10.1016/0168-0072(94)00049-9 fatcat:rjf74dqd7nejtfiqt67hxtvmx4