Author:
AKIYOSHI Ryota,TAKAHASHI Yuta
Publisher
The Japan Association for Philosophy of Science
Reference48 articles.
1. [Aki10] Ryota Akiyoshi, “Gentzen's first consistency proof revisited”, CARLS Series of Advanced Study of Logic and Sensibility, Vol.4, Centre for Advanced Research on Logic and Sensibility, Keio University, pp.315-324, 2010.
2. [Ara03] Toshiyasu Arai, “Proof theory for theories of ordinals I: recursively Mahlo ordinals”, Annals of Pure and Applied Logic, Vol.122, pp.1-85, 2003.
3. [Ara04a] Toshiyasu Arai, “Proof theory for theories of ordinals II: Π3-reflection”, Annals of Pure and Applied Logic, Vol.129, pp.39-92, 2004.
4. [Ara04b] Toshiyasu Arai, “Wellfoundedness proofs by means of non-monotonic inductive definitions I: Π02-operators”, Journal of Symbolic Logic, Vol.69, pp.830-850, 2004.
5. [Ara10] Toshiyasu Arai, “Wellfoundedness proofs by means of non-monotonic inductive definitions II: first order operators”, Annals of Pure and Applied Logic, Vol.162, pp.107-143, 2010.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献