Lev Gordeev;Andreas Weiermann
Ghent University, Ghent, Belgium;Ghent University, Ghent, Belgium
A modified sentence unprovable in PA
Journal of Symbolic Logic
Analytic Combinatorics