Toshiyasu Arai
(新井 敏康)
Modified on: 03/16
Profile Information
- Affiliation
- The University of Tokyo Graduate School of Science Prof.
- Degree
-
Doctor of Science
- J-GLOBAL ID
- 201101062786252883
- External link
東京都出身 エレカシと大島弓子と小泉今日子のファン
Research Interests
5Research Areas
2Research History
8-
Apr, 2019 - Present
-
Oct, 2009 - Mar, 2019
-
Apr, 2007 - Sep, 2009
-
Aug, 2001 - Mar, 2007
-
Oct, 2000 - Jul, 2001
Professional Memberships
3Awards
1-
2004
Papers
51-
Journal of Symbolic Logic 85(3) 1163 - 1185 Oct, 2020 Peer-reviewed
-
The Legacy of Kurt Sch\"utte, ed. by R. Kahle and M. Rathjen, Springer 265 - 298 Sep, 2020 Peer-reviewedInvitedLead author
-
Proc. Amer. Math. Soc. 148 3567 - 3582 2020 Peer-reviewed
-
Arch. Math. Logic 59 257 - 275 2020 Peer-reviewedLead author
-
Annals of Pure and Applied Logic 169(12) 1246 - 1269 Dec, 2018 Peer-reviewed
Books and Other Publications
10-
Springer Sigapore Sep 10, 2020
-
東京図書 2016 (ISBN: 9784489022494)
-
岩波書店 2016 (ISBN: 9784007304590)
-
日本評論社 Mar, 2015
-
World Scientific 2012 (ISBN: 9789814360531)
Misc.
31-
Oct 15, 2019
Presentations
21-
A Proof Theory Workshop Mar, 2010 Invited
-
A Proof Theory Workshop Mar, 2010 Invited
-
神奈川大学 Feb, 2010 Invited
-
Leeds Symposium on Proof Theory and Constructivism Jul, 2009 Invited
-
Eleventh Asian Logic Conference Jun, 2009 Invited