1. Bovykin A. Several proofs of PA-unprovability. Contemporary Mathematics, 380, 29, 2005.
2. Bovykin A. Brief introduction to unprovability. Logic Colloquium. Vol. 32. 2006.
3. Bovykin A. A proof of unprovability of an arithmetical statement in one step. (Abstract of a talk.) Handout, Rio de Janeiro Conference, August 2016.
4. Carlucci L. Lee G, Weiermann A. Classifying the phase transition threshold for regressive Ramsey functions. preprint (2006).
5. Carlucci L, Lee G, Weiermann A. Sharp thresholds for hypergraph regressive Ramsey numbers. Journal of Combinatorial Theory, Series A, 118(2): 558–585, 2011.