1. Induction rules, reflection principles, and provably recursive functions;Beklemishev;Annals of Pure and Applied Logic,1997
2. Proof-theoretic analysis by iterated reflection;Beklemishev;Archive for Mathematical Logic,2003
3. L. Beklemishev, A. Visser, On the limit existence principles in elementary arithmetic and related topics, in: Logic Group Preprint Series, vol. 224, University of Utrecht, 2004
4. The interpretability logic of Peano arithmetic;Berarducci;Journal of Symbolic Logic,1990
5. The Logic of Provability;de Jongh,1998