TY  - RPRT
TI  - A Uniform Characterization of $Σ_1$-Reflection over the Fragments of Peano Arithmetic
AU  - Anton Freund
PY  - 2015
UR  - https://arxiv.org/abs/1512.05122
ID  - 1512.05122
ER  -