Publications & Talks
Preprints
On the Pi^1_2 consequences of Pi^1_1-CA_0 (with K. Yokoyama), arXiv:2402.07136
Relative leftmost path principles and omega-model reflections of transfinite inductions, arXiv:2407.13504
Publications
Searching problems above arithmetical transfinite recursion (with K. Yokoyama), APAL, 2024, 103488 (arXiv:2305.07321)
Talks in English
"Approximating Pi^1_2 consequences of Pi^1_1-CA_0" (Presented by K. Yokoyama) ProofSociety2024
"On some subtheories of Pi^1_1-CA_0" LCD2024
"On the Pi^1_2 consequences of Pi^1_1-CA_0. MOPA
"On the logical and computability theoretic strength of Knaster-Tarski theorem" CCR2024
"Uniform reductions in formal systems and a characterization of the Π^1_2 part of Π^1_1- CA_0." RIMS workshop : New frontiers of proof and computation
"On the intermediate structure of arithmetical transfinite recursion and Π^1_1 comprehension" Mini-Workshop on Computability in Tokyo
"Pseudo-hierarchy method in Weihrauch degrees" Proof theory symposium 2022
"Leftmost path principle in Weihrauch degrees and reverse mathematics" Warsaw Mathematical Logic Seminar
"Fixed point for monotone operators and Weihrauch reducibility", JPRU2022
Talks in Japanese
On some restricted variants of the leftmost path principle 仙台ロジックセミナー
On infinite paths through a tree 数学基礎論若手の会2024
On infinite path principles 計算・言語・論理の研究集会 2024 御宿
Computability-theoretically correct reverse mathematics 第2回若手による数理論理学研究集会
On the Pi^1_2, Sigma^1_2 and Boole(Pi^1_2) sentences provable from Pi^1_1-CA_0 仙台ロジックセミナー
On some applications and properties of beta-models MLG58
存在証明のウラオモテ 数学基礎論若手の会2023
数理論理学・逆数学のいろはのい MiCS (みちのく情報伝達学セミナー)
On the Π^1_2 part of Π^1_1-CA_0 日本数学会2023年度秋季総合分科会 (横山啓太氏との共同発表)
ωモデル反映のヴァリエーションについて 若手による数理論理研究集会
Pi^1_1-CA_0のPi^1_2部分について 計算・言語・論理の研究集会2023御宿
On the Weihrauch degrees between C_{ω^ω} and ATR 日本数学会2023年度年会 (横山啓太氏との共同発表)
Weihrauch次数におけるω-model reflection 数学基礎論若手の会2022
カントール空間の単調作用素の不動点定理と Weihrauch 次数 SLACS2022
2階算術の部分体系群について 算術と様相論理の研究・論文セミナー
逆数学と超フィルター 数学基礎論若手の会 2021
実数の完備性と逆数学 数学基礎論若手の会 2020 年度
Gowers の定理と逆数学 証明論研究集会 2020
Basis Theorems and Models of WKL_0 数学基礎論若手の会 2019