@misc{indiciae0932f0f984b6, title = {A Uniform Characterization of \$Σ\_1\$-Reflection over the Fragments of Peano Arithmetic}, author = {Anton Freund}, year = {2015}, url = {https://arxiv.org/abs/1512.05122}, note = {Source identifier: 1512.05122} }