Rchr
J-GLOBAL ID：201101062786252883   Update date: Apr. 23, 2024

Arai Toshiyasu

Arai Toshiyasu
Affiliation and department：
The University of Tokyo Graduate School of Science

About The University of Tokyo Graduate School of Science


Job title： Prof.
Homepage URL  (1)： http://researchmap.jp/tosarai/
Research field  (2)： Applied mathematics and statistics ,  Basic mathematics
Research keywords  (5)： 数理論理学 ,  mathematical logic ,  proof theory ,  数学基礎論 ,  証明論
Research theme for competitive and other funds  (10)：
  • 2019 - 2023 整列性の証明論的研究
  • 2013 - 2018 proof-theoretic investigations of operations on sets
  • 2008 - 2012 Proof-theoretic investigations on set theories
  • 2007 - 2011 Computational Approaches for Mathematical Sciences
  • 2005 - 2008 Investigation on epsilon substitution methods
Show all
Papers (55)：
  • Toshiyasu Arai. Wellfoundedness proof with the maximal distinguished set. Archive for Mathematical Logic. 2023. 62. 3-4. 333-357
  • Toshiyasu Arai, Stanley S. Wainer, Andreas Weiermann. Goodstein sequences based on a Parametrized Ackermann-Péter function. The Bulletin of Symbolic Logic. 2021. 27. 2. 168-186
  • Toshiyasu Arai. Cut-elimination for SBL. The Legacy of Kurt Sch\"utte, ed. by R. Kahle and M. Rathjen, Springer. 2020. 265-298
  • Toshiyasu Arai, David Fernández-Duque, Stanley Wainer, Andreas Weiermann. Predicatively unprovable termination of the Ackermannian Goodstein process. Proc. Amer. Math. Soc. 2020. 148. 3567-3582
  • Toshiyasu Arai. A Simplified Ordinal Analysis of First-order Reflection. The Journal of Symbolic Logic. 2020. 85. 3. 1163-1185
ｍore...
MISC (7)：
  • Toshiyasu Arai. An ordinal analysis of $\Pi_{N}$-collection. 2023
  • Toshiyasu Arai. Well-foundedness proof for $Π^{1}_{1}$-reflection. 2023
  • Toshiyasu Arai. Lectures on Ordinal Analysis. 2023
  • Toshiyasu Arai. Hydra games for recursively Mahlo operations. 2018
  • Toshiyasu Arai. $omega_{1}$ under $Pi_{1}$-Collection. 2015
ｍore...
Books (10)：
  • Ordinal Analysis with an Introduction to Proof Theory
    Springer Sigapore 2020
  • 集合・論理と位相
    東京図書 2016 ISBN:9784489022494
  • 数学基礎論 = Mathematical logic
    岩波書店 2016 ISBN:9784007304590
  • 証明が終わったあとに
    日本評論社 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
    World Scientific 2012 ISBN:9789814360531
ｍore...
Lectures and oral presentations  (21)：
  • Search problems in bounded arithmetics
    (A Proof Theory Workshop 2010)
  • Search problems in bounded arithmetics
    (A Proof Theory Workshop 2010)
  • 集合論の証明論へ
    (神奈川大学 2010)
  • In germ
    (Leeds Symposium on Proof Theory and Constructivism 2009)
  • Provably $\Delta^{0}_{2}$ and weakly descending chains of ordinals,
    (Eleventh Asian Logic Conference 2009)
ｍore...
Professional career (1)：
  • Doctor of Science
Work history (8)：
  • 2019/04 - 2024/03 The University of Tokyo
  • 2009/10 - 2019/03 千葉大学理学研究科 教授
  • 2007/04 - 2009/09 神戸大学工学研究科 教授
  • 2001/08 - 2007/03 神戸大学 自然科学研究科 教授
  • 2000/10 - 2001/07 Hiroshima University School of Integrated Arts and Sciences
Show all
Awards (1)：
  • 2004 - 日本数学会 秋季賞
Association Membership(s) (2)：
日本数学会 ,  Association for Symbolic Logic
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM