Bulletin of Symbolic Logic

As this article doesn't contain an abstract, the image below is necessary to enable the article to be indexed by certain search engines. The resolution of the full-text PDF is much higher than that shown here.


Lev D. Beklemishev. Induction rules, reflection principles, and provably recursive functions. Annals of pure and applied logic, vol. 85 (1997), pp. 193–242.

Volker Halbach

Fachgruppe Philosophie, Universität Konstanz, Postfach 5560 D 21, 78434 Konstanz, Germany. Volker.Halbach@uni-konstanz.de.