山崎武

ヤマザキタケシ | Yamazaki Takeshi

所属機関・部署：
職名：准教授
ホームページURL (2件)： http://db.tohoku.ac.jp/whois/detail/3e37fcd8d8436776c85dff674d5d6a4a.html , http://db.tohoku.ac.jp/whois/e_detail/3e37fcd8d8436776c85dff674d5d6a4a.html

研究分野 (2件)：応用数学、統計数学 , 数学基礎

研究キーワード (4件)：再帰理論 , 超準モデル , 二階算術 , 逆数学

競争的資金等の研究課題 (9件)：

全件表示

論文 (15件)：

MISC (1件)：

Masahiro Kumabe, Toshio Suzuki, Takeshi Yamazaki. Truth-table reductions and minimum sizes of forcing conditions. 数理解析研究所講究録. 2007. 1553. 9--14

書籍 (2件)：

講演・口頭発表等 (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)

学位 (1件)：

所属学会 (3件)：

国際数理科学協会 , The association for Symbolic Logic , 日本数学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

山崎 武