Publisher
Springer Science and Business Media LLC
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Epsilon Numbers;Ordinal Analysis with an Introduction to Proof Theory;2020
2. Intuitionistic fixed point theories over set theories;Archive for Mathematical Logic;2015-03-31
3. Inductive definitions over a predicative arithmetic;Annals of Pure and Applied Logic;2005-10
4. Slow Versus Fast Growing;Synthese;2002-10
5. Explaining the Gentzen-Takeuti reduction steps: a second-order system;Archive for Mathematical Logic;2001-05-01