1. Klaus Aehlig, On fragments of analysis with strengths of finitely iterated inductive definitions, Ph.D. Thesis, University of Munich, 2003
2. Computable Structures and the Hyperarithmetical Hierarchy;Ash,2000
3. Interpreting classical theories in constructive ones;Avigad;J. Symbolic Logic,2000
4. Number theory and elementary arithmetic;Avigad;Philos. Math.,2003
5. Jeremy Avigad, Solomon Feferman, Gödel’s functional (Dialectica) interpretation. In [19], pp. 337–405