2023.4 - 2024.3

鈴木悠大 (横山啓太との共同研究) 「Pi^1_1-CA_0のPi^1_2部分について 」 計算・言語・論理の研究集会2023御宿 

本田真之 "General topology in second order arithmetic" 計算・言語・論理の研究集会2023御宿

五十里大将(横山啓太との共同研究)「2つ組ラムゼイ定理に対する保存拡大性（及び証明翻訳）計算・言語・論理の研究集会2023御宿

竹田侑人 "The computability theoretic and reverse mathematical analysis of Ramsey's Theorem" 計算・言語・論理の研究集会2023御宿

鈴木悠大(横山啓太との共同研究) 「ωモデル反映のヴァリエーションについて」 若手による数理論理研究集会

五十里大将(横山啓太との共同研究) "Π^1_1-conservation between RT^2 and BΣ^0_3" 若手による数理論理研究集会

鈴木悠大(横山啓太との共同研究) "On the Π^1_2 part of Π^1_1-CA_0" 2023年度秋季総合分科会

五十里大将(横山啓太との共同研究) 「RT^2とBΣ^0_3のΠ^1_1-保存拡大性について」 2023年度秋季総合分科会

鈴木悠大(横山啓太との共同研究) "On the intermediate structure of arithmetical transfinite recursion and Π^1_1 comprehension" Mini-Workshop on Computability in Tokyo

鈴木悠大 「数理論理学・逆数学のいろはのい」MiCS (みちのく情報伝達学セミナー)

鈴木悠大「存在証明のウラオモテ」数学基礎論若手の会2023

鈴木悠大(横山啓太との共同研究) "Uniform reductions in formal systems and a characterization of the Π^1_2 part of Π^1_1- CA_0." 証明論と計算論の最前線

五十里大将，横山啓太 "Π^1_1-conservation and proof transformations about Ramsey’s theorem for pairs" 証明論と計算論の最前線

鈴木 悠大 On some applications and properties of beta-models MLG58

Yudai Suzuki "On the logical and computability theoretic strength of Knaster-Tarski theorem" CCR2024

Yudai Suzuki and Keita Yokayama, Searching problems above arithmetical transfinite recursion, https://arxiv.org/abs/2305.07321

Yudai Suzuki and Keita Yokoyama, On the Pi^1_2 consequences of Pi^1_1-CA_0 http://arxiv.org/abs/2402.07136