1. [5] Carnielli, W. A., and M. Rathjen, “Hydrae and subsystems of arithmetic,” Universität Münster, 1991. http://www1.maths.leeds.ac.uk/~rathjen/HydraeSubArith.pdf (accessed 7 December 2015).
2. [12] Freund, A., “A uniform characterization of $\Sigma _{1}$-reflection over the fragments of Peano arithmetic,” preprint, arXiv:1512.05122v1 [math.LO].
3. [15] Henk, P., and F. Pakhomov, “Slow and ordinary provability for Peano arithmetic,” preprint, arXiv:1602.01822v2 [math.LO].
4. [8] Feferman, S., “Reflecting on incompleteness,” Journal of Symbolic Logic, vol. 56 (1991), pp. 1–49.
5. [7] Feferman, S., “Arithmetization of metamathematics in a general setting,” Fundamenta Mathematicae, vol. 49 (1960/1961), pp. 35–92.