Publisher
Springer International Publishing
Reference43 articles.
1. Avigad, J., Towsner, H.: Functional interpretation and inductive definitions. J. Symb. Logic 74(4), 1100–1120 (2009)
2. Beckmann, A., Pohlers, W.: Application of cut-free infinitary derivations to generalized recursion theory. Ann. Pure Appl. Logic 94, 1–19 (1998)
3. Blankertz, B., Weiermann, A.: How to characterize provably total functions by the Buchholz operator method. Lecture Notes in Logic, vol. 6. Springer, Heidelberg (1996)
4. Blankertz, B.: Beweistheoretischen Techniken zur Bestimmung von $$\Pi ^0_2$$–Skolem Funktionen, Dissertation, Westfälische Wilhelms-Universität, Münster (1997)
5. Buchholz, W., Feferman, S., Pohlers, W., Sieg, W. (eds.): Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-theoretical Studies, Lecture Notes in Mathematics, vol. 897. Springer, Heidelberg (1981)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献