Publisher
Springer Science and Business Media LLC
Reference20 articles.
1. Arai T.: Consistency proof via pointwise induction. Arch. Math. Logic 37, 149–165 (1998)
2. Arai T.: Some results on cut-elimination, provable well-orderings, induction and reflection. Ann. Pure Appl. Logic 95, 93–184 (1998)
3. Arai T.: Non-elementary speed-ups in logic calculi. Math. Logic Q. 6, 629–640 (2008)
4. Arai T.: Intuitionistic fixed point theories over Heyting arithmetic. In: Feferman, S., Sieg, W. (eds.) Proofs Categories and Computations. Essays in honor of Grigori Mints, pp. 1–14. College Publications, King’s College London, London (2010)
5. Arai T.: Quick cut-elimination for strictly positive cuts. Ann. Pure Appl. Logic 162, 807–815 (2011)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Epsilon Numbers;Ordinal Analysis with an Introduction to Proof Theory;2020
2. Cut-elimination for ω1;Annals of Pure and Applied Logic;2018-12