* このページに掲載している原稿は 速報ファイル です。
* These papers are "flash report".
RIMS Kôkyûroku
No.2293
証明論と計算論の最前線
New frontiers of proof and computation
RIMS 共同研究(公開型)
 
2023/12/11〜2023/12/14
横山 啓太
Keita Yokoyama
 
目 次
 
1. Tightness and related properties in subtheories of Peano Arithmetic (New frontiers of proof and computation)-----------------------
    University of Warsaw   Ko{\l}odziejczyk,Leszek Aleksander
 
2. LOGICAL DEPTH AND DEEP ${\Pi}^0_1$ CLASSES (New frontiers of proof and computation)------------------------------------------------
    CNRS \& Universit$00E9 de Bordeaux / Drake University   Bienvenu,Laurent / Porter,Christopher P.
 
3. Rosser 証明可能性述語に基づく局所反映原理 (証明論と計算論の最前線)-----------------------------------------------------------------
    神戸大学大学院システム情報学研究科 / 神戸大学大学院システム情報学研究科   小暮 晏佳 / 倉橋 太志 (Kogure,Haruka / Kurahashi,Taishi)
 
4. Z定理のモジュール性 (証明論と計算論の最前線)---------------------------------------------------------------------------------------
    群馬大学理工学府 / 群馬大学理工学府 / 名古屋大学大学院情報学研究科   女屋 優貴 / 藤田 憲悦 / 中澤 巧爾 (Onaya,Yuki / Fujita,Ken-etsu / Nakazawa,Koji)
 
5. 中間述語論理における否定論理式に制限したExistence Propertyに関する予備的覚書 (証明論と計算論の最前線)------------------------------
    静岡大学理学部数学教室   鈴木 信行 (Suzuki,Nobu-Yuki)
 
6. Epistemic possibility in Artemov and Protopopescu's intuitionistic epistemic logic (New frontiers of proof and computation)--------
    INSTITUTE OF DISCRETE MATHEMATICS AND GEOMETRY, TU WIEN   Pacheco,Leonardo
 
7. Determinacy of probabilistic ${\omega}$-languages with strict threshold semantics (New frontiers of proof and computation)---------
    Beijing Institute of Mathematical Sciences and Applications / Beijing Institute of Mathematical Sciences and Applications   Li,Wenjuan / Tanaka,Kazuyuki
 
8. 実数の計算可能性 (証明論と計算論の最前線)------------------------------------------------------------------------------------------
    明治大学理工学部数学科   宮部 賢志 (Miyabe,Kenshi)
 
9. Proving Pfaffian properties in bounded arithmetic (New frontiers of proof and computation)-----------------------------------------
    群馬県立女子大学・文学部・文化情報学科   黒田 覚 (Kuroda,Satoru)
 
10. 超算術的解析に属する選択公理の変種と${\omega}$モデル反映による超算術的解析の近似 (証明論と計算論の最前線)-------------------------
    名古屋大学   橋本 航気 (Hashimoto,Koki)
 
11. A Gentzen-style Calculus for Substructural Logics with Axioms W and S (New frontiers of proof and computation)--------------------
    新潟大学経営戦略本部評価センター   関 隆宏 (Seki,Takahiro)
 
12. 様相論理の入れ子シークエント計算について (証明論と計算論の最前線)-----------------------------------------------------------------
    東京工業大学情報理工学院   鹿島 亮 (Kashima,Ryo)
 
13. 形式体系における一様含意と${\Pi}^1_1$-{\textsf{CA}}${_0}$の${\Pi}^1_2$定理の特徴づけ (証明論と計算論の最前線)---------------------
    沖縄工業高等専門学校   鈴木 悠大 (Suzuki,Yudai)
 
14. An Algebraic Counterpart of Kripke Semantics Based on Completely Prime Elements (New frontiers of proof and computation)----------
    法政大学 / 群馬大学   倉田 俊彦 / 藤田 憲悦 (Kurata,Toshihiko / Fujita,Ken-etsu)
 
15. Transfinite iterations of ${\Sigma}^1_1$ inductive definitions - Reconsideration of Nemoto's Conjecture - (New frontiers of proof and computation)---
    ・沖縄工業高等専門学校 / Beijing Institute of Mathematical Sciences and Applications   吉居 啓輔 / Tanaka Kazuyuki (Yoshii,Keisuke / Tanaka,Kazuyuki)
 
16. 二次元ラムゼイ定理に関する${\Pi}^1_1$保存拡大性及び証明変換 (証明論と計算論の最前線)----------------------------------------------
    東北大学理学系研究科数学専攻 / 東北大学理学系研究科数学専攻   五十里 大将 / 横山 啓太 (Ikari,Hiroyuki / Yokoyama,Keita)