Tohoku University · Faculty of Science / Graduate School of Science · 准教授

Research keywords再帰理論・逆数学・二階算術・超準モデル

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• A non-standard construction of Haar measure and weak König's lemmaKazuyuki Tanaka, Takeshi Yamazaki
• Uniform versions of some axioms of second order arithmeticN Sakamoto, T Yamazaki
• Manipulating the reals in RCAoKazuyuki Tanaka, Takeshi Yamzaki
• Some conservation results on weak König's lemmaStephen G. Simpson, Kazuyuki Tanaka, Takeshi Yamazaki

• 二階算術のモデルについて制度名： The Other Research Programs
• 超準的手法と構成的手法の比較研究田中 一之, 赤間 陽二, 竹田 雅好, 森田 康夫, 山崎 武
• 量子力学に基づく新しい計算モデルの構築に向けて田中 一之, 只木 孝太郎, 山崎 武
• 不連続関数の計算可能性-そのパラダイムを目指して-八杉 満利子, 辻井 芳樹, 森 隆一, 山田 修司, 立木 秀樹, 林 晋, 山崎 武

• Official profile