Author:
Akiyoshi Ryota,Mints Grigori
Publisher
Springer Science and Business Media LLC
Reference17 articles.
1. Akiyoshi, R.: Complete cut-elimination theorem for $$\Omega _{\mu +1}$$ Ω μ + 1 -rule. (2011, preprint)
2. Akiyoshi, R.: An ordinal-free proof of the complete cut-elimination theorem for $$\Pi ^{1}_{1}$$ Π 1 1 - $$CA+BI$$ C A + B I with the $$\omega $$ ω -rule. (2013, preprint)
3. Arai, T.: A subsystem of classical analysis proper to Takeuti’s reduction method for $$\Pi ^{1}_{1}$$ Π 1 1 -analysis. Tsukuba J. Math. 9(1), 21–29 (1985)
4. Lecture Notes in Mathematics;W Buchholz,1981
5. Buchholz, W.: Explaining Gentzen’s consistency proof within infinitary proof theory. In: Gottlob, G., Leitsch, A., Mundici, D. (eds.) Proceedings of the 5th Kurt Gödel colloquium on computational logic and proof theory, vol. 1289, pp. 4–17. Springer, Berlin (1997)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献