1. The Hitchhiker's Guide to the Galaxy;Adams,1979
2. On the structure of the degrees of relative provability;Andrews;Israel J. Math.,2015
3. Induction rules, reflection principles, and provably recursive functions;Beklemishev;Ann. Pure Appl. Logic,1997
4. Open least element principle and bounded query computation;Beklemishev,1999
5. On the induction schema for decidable predicates;Beklemishev;J. Symbolic Logic,2003