※このページに掲載している原稿は速報ファイルです。
* These papers are "flash report".

証明論と計算論の新地平
New Horizons in Proof Theory and Computability Theory

RIMS 共同研究（公開型）
2025/12/22～2025/12/25

木原　貴行 ( Takayuki Kihara )

目次

• 1. On the translation of a Kripke model into a Beth model with constant domain 藤原 誠 ( Makoto Fujiwara )東京理科大学
• 2. Reverse Mathematics of Uniform Distribution Theory 池山 愛斗 ( Manato Ikeyama )名古屋大学
• 3. 二階算術上での quasi-Polish space 金子 柚月 ( Yuzuki Kaneko )東北大学
• 4. 様相ミュー計算のタブロー法の完全性と無限ゲームの決定性について (2) 鹿島 亮 ( Ryo Kashima )東京科学大学
• 5. 部分的な保存性を満たす文に関する最近の進展 小暮 晏佳 ( Haruka Kogure )神戸大学 倉橋 太志 ( Taishi Kurahashi )神戸大学
• 6. 第1不完全性定理と外延性 倉橋 太志 ( Taishi Kurahashi )神戸大学
• 7. Entailment relations for the constructive theory of free modules 黒木 亮汰 ( Ryota Kuroki )東京大学
• 8. A fine hierarchy for the alternation-free modal $\mu$-calculus Wenjuan LiBeijing Institute of Mathematical Sciences and Applications Leonardo Pacheco東京科学大学 田中 一之 ( Kazuyuki Tanaka )Beijing Institute of Mathematical Sciencesand Applications
• 9. Complexity of the SAT problem for the Hybrid Logic 西村 祐輝 ( Yuki Nishimura )東京科学大学 Leonardo Pacheco東京科学大学
• 10. Residual 公理の変種について 関 隆宏 ( Takahiro Seki )新潟大学
• 11. A predicate extension of GL and its completeness with respect to constant domain Kripke models 田中 義人 ( Yoshihito Tanaka )東京科学大学 / 九州産業大学
• 12. On computable real numbers uniformly distributed modulo 1 with respect to Koksma sequences 横山 駆 ( Kakeru Yokoyama )名古屋大学