Rchr
J-GLOBAL ID:200901045371606809   Update date: Jan. 30, 2024

Yamazaki Takeshi

ヤマザキ タケシ | Yamazaki Takeshi
Affiliation and department:
Job title: Associate Professor
Homepage URL  (2): http://db.tohoku.ac.jp/whois/detail/3e37fcd8d8436776c85dff674d5d6a4a.htmlhttp://db.tohoku.ac.jp/whois/e_detail/3e37fcd8d8436776c85dff674d5d6a4a.html
Research field  (2): Applied mathematics and statistics ,  Basic mathematics
Research keywords  (4): 再帰理論 ,  超準モデル ,  二階算術 ,  逆数学
Research theme for competitive and other funds  (9):
  • 2000 - 現在 逆数学
  • 2000 - 現在 二階算術のモデルについて
  • 2011 - 2015 Computational Aspects of Randomness and Their Structural Analysis via Nonstandard Methods
  • 2011 - 2012 Towards construction of a new computation model based on quantum mechanics
  • 2007 - 2010 Reverse Mathematics and Models of Arithmetic
Show all
Papers (15):
MISC (1):
  • Masahiro Kumabe, Toshio Suzuki, Takeshi Yamazaki. Truth-table reductions and minimum sizes of forcing conditions. 数理解析研究所講究録. 2007. 1553. 9--14
Books (2):
  • ゲーデルと20世紀の論理学3不完全性定理と算術の体系
    東京大学出版会 2007
  • 確かさを求めて 数学の基礎についての哲学論考
    2007
Lectures and oral presentations  (9):
  • WKL0とPRAのPi^0_2保存性
    (AIG 4 2016)
  • Reverse Mathematics and Equilibria of Continuous Games
    (Computability Theory and Foundations of Mathematics 2015 2015)
  • Some Fixed Point Theorems and Reverse Mathematics II
    (JSPS-NUS Joint Workshop in Mathematical Logic and Foundations of Mathematics 2015)
  • Some Fixed Point Theorems and Reverse Mathematics
    (IMS-JSPS joint workshop 2014)
  • Filters and Reverse Mathematics
    (Workshop on Reverse Mathematics and Type Theory 2013)
more...
Professional career (1):
  • Doctor of science (Tohoku University)
Association Membership(s) (3):
国際数理科学協会 ,  The 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