この web ページは旧版です。

http://www2.kobe-u.ac.jp/~tk/jp/

に移転しました。

数学基礎論・数理論理学、その中でも特に Gödel の不完全性定理を中心に、形式的算術の証明可能性について研究をしています。

• 2020/08/19
  中国の武漢大学において 08/16～08/20 にオンラインで開催された会議 International Workshop on Gödel's Incompleteness Theorems に参加し，"Inclusions between quantified provability logics" というタイトルで招待講演を行いました．
• 2021/07/26
  明治大学の藤原さんとの共著論文"Conservation theorems on semi-classical arithmetic"を arXiv と雑誌に投稿しました．
• 2021/07/07
  ドイツの Tübingen 大学において 07/05～07/09 にハイブリッドで開催された会議 Celebrating 90 Years of Gödel’s Incompleteness Theorems に参加し，"On the second incompleteness theorem and provability logics" というタイトルで招待講演を行いました．
• 2021/07/01
  神戸大学の岩田さんとの共著論文 "Topological semantics of conservativity and interpretability logics" が雑誌 Journal of Logic and Computation に受理されました．
• 2021/05/30
  明治大学の藤原さんとの共著論文 "Prenex normal form theorems in semi-classical arithmetic" が雑誌 The Journal of Symbolic Logic に受理されました．
• 2021/05/24
  論文 "On inclusions between quantified provability logics" が雑誌 Studia Logica に受理されました．
• 2021/03/26
  オンラインで開催された数学基礎論若手の会2020において，"様相算術における選言・存在特性"というタイトルで発表をしました．
• 2021/03/15
  オンラインで開催された日本数学会 2021年度年会において，神戸大学の岩田さん，千葉大学の大川さんと共同で "解釈可能性論理 \(\mathbf{IL}\) の部分論理に対する Craig の補間定理及び不動点定理について" というタイトルで発表を行いました（登壇者は大川さん）．
• 2021/02/05
  論文 "Topological semantics of conservativity and interpretability logics" を arXiv と雑誌に投稿しました。
• 2021/01/09
  論文 "On inclusions between predicate provability logics" を arXiv と雑誌に投稿しました。
• 2020/12/24
  千葉大学の大学院生の大川君との共著論文"Modal completeness of sublogics of the interpretability logic \(\mathbf{IL}\)" が雑誌 Mathematical Logic Quarterly に受理されました。
• 2020/12/20
  12/19~20にオンラインで開催された証明論研究集会2020において「述語証明可能性論理の包含関係について」というタイトルで発表しました。
• 2020/10/22
  明治大学の藤原さんとの共著論文 "Refining the arithmetical hierarchy of classical principles" を雑誌に投稿しました。
• 2020/09/24
  オンラインで開催された日本数学会2020年度秋季総合分科会において、千葉大学の大川君と共同で「部分保存的な文に対する Bennet の結果の一般化」「解釈可能性論理 \(\mathbf{IL}\) の部分論理」の２件発表をしました。
• 2020/09/04
  明治大学の藤原さんとの共著論文 "Prenex normal form theorems in semi-classical arithmetic" を雑誌に投稿しました。