Author:
Kristiansen Lars,Schlage-Puchta Jan-Christoph,Weiermann Andreas
Reference16 articles.
1. How to characterize provably total functions;Blankertz,1996
2. A uniform approach to fundamental sequences and hierarchies;Buchholz;Mathematical Logic Quarterly,1994
3. Information content and computational complexity of recursive sets;Kristiansen,1996
4. A jump operator on honest subrecursive degrees;Kristiansen;Archive for Mathematical Logic,1998
5. Subrecursive degrees and fragments of Peano arithmetic;Kristiansen;Archive for Mathematical Logic,2001
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献