1. On recursively saturated models of arithmetic;Barwise,1975
2. Reflection principles and provability algebras in formal arithmetic;Beklemishev;Russ. Math. Surv.,2005
3. The consistency of elementary number theory;Gentzen,1969
4. Strong axioms of infinity and the debate about realism;Hauser;J. Philos.,2014