Toshiyasu Arai

Profile Information

東京都出身エレカシと大島弓子と小泉今日子のファン

A simplified ordinal analysis of first-order reflection

Toshiyasu Arai

Journal of Symbolic Logic 85(3) 1163 - 1185 Oct, 2020 Peer-reviewed
Cut-elimination for SBL

Toshiyasu Arai

The Legacy of Kurt Sch\"utte, ed. by R. Kahle and M. Rathjen, Springer 265 - 298 Sep, 2020 Peer-reviewedInvitedLead author
Predicatively unprovable termination of the Ackermannian Goodstein process

Toshiyasu Arai, David Fernández-Duque, Stanley Wainer, Andreas Weiermann

Proc. Amer. Math. Soc. 148 3567 - 3582 2020 Peer-reviewed
Proof-theoretic strengths of the well ordering principles

Toshiyasu Arai

Arch. Math. Logic 59 257 - 275 2020 Peer-reviewedLead author
Cut-elimination for $\omega_{1}$

Toshiyasu Arai

Annals of Pure and Applied Logic 169(12) 1246 - 1269 Dec, 2018 Peer-reviewed

Ordinal Analysis with an Introduction to Proof Theory

Toshiyasu Arai

Springer Sigapore Sep 10, 2020
集合・論理と位相

新井敏康

東京図書 2016 (ISBN: 9784489022494)
数学基礎論 = Mathematical logic

新井敏康

岩波書店 2016 (ISBN: 9784007304590)
証明が終わったあとに

新井敏康

日本評論社 Mar, 2015
Proceedings of the 11th Asian Logic Conference : in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009

Asian Logic Conference, Chong Chi-Tat, 新井敏康

World Scientific 2012 (ISBN: 9789814360531)

Search problems in bounded arithmetics

T. Arai

A Proof Theory Workshop Mar, 2010 Invited
Search problems in bounded arithmetics

T. Arai

A Proof Theory Workshop Mar, 2010 Invited
集合論の証明論へ

新井敏康

神奈川大学 Feb, 2010 Invited
In germ

T. Arai

Leeds Symposium on Proof Theory and Constructivism Jul, 2009 Invited
Provably $\Delta^{0}_{2}$ and weakly descending chains of ordinals,

T. Arai

Eleventh Asian Logic Conference Jun, 2009 Invited