研究者
J-GLOBAL ID:201101062786252883   更新日: 2024年04月23日

新井 敏康

Arai Toshiyasu
所属機関・部署:
職名: 教授
ホームページURL (1件): http://researchmap.jp/tosarai/
研究分野 (2件): 応用数学、統計数学 ,  数学基礎
研究キーワード (5件): 数理論理学 ,  mathematical logic ,  proof theory ,  数学基礎論 ,  証明論
競争的資金等の研究課題 (10件):
  • 2019 - 2023 整列性の証明論的研究
  • 2013 - 2018 集合論の演算子の証明論的研究
  • 2008 - 2012 集合論の証明論的研究
  • 2007 - 2011 計算による数理科学の展開
  • 2005 - 2008 イプシロン代入法に関する研究
全件表示
論文 (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
もっと見る
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
もっと見る
書籍 (10件):
  • Ordinal Analysis with an Introduction to Proof Theory
    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
もっと見る
講演・口頭発表等 (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)
もっと見る
学位 (1件):
  • 理学博士
経歴 (8件):
  • 2019/04 - 2024/03 東京大学数理科学研究科 教授
  • 2009/10 - 2019/03 千葉大学理学研究科 教授
  • 2007/04 - 2009/09 神戸大学工学研究科 教授
  • 2001/08 - 2007/03 神戸大学 自然科学研究科 教授
  • 2000/10 - 2001/07 広島大学総合科学部 教授
全件表示
受賞 (1件):
  • 2004 - 日本数学会 秋季賞
所属学会 (2件):
日本数学会 ,  Association for Symbolic Logic
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る