most citedSlow and Ordinary Provability for Peano Arithmetic

7 citations · 7 across the 1 of their papers we have counts for

collaborators

1 paper

math.LO2016★ 7 cited

Slow and Ordinary Provability for Peano Arithmetic

Paula Henk, Fedor Pakhomov

The notion of slow provability for Peano Arithmetic () was introduced by S.D. Friedman, M. Rathjen, and A. Weiermann. They studied the slow consistency statement $\mat…