Publications & Talks

Preprints

• On the Pi^1_2 consequences of Pi^1_1-CA_0 (with K. Yokoyama), arXiv: arXiv:2402.07136

Publications 

• Searching problems above arithemetical transfinite recursion (with K. Yokoyama),  APAL, accepted (arXiv:2305.07321)

Talks in English

• "Approximating Pi^1_2 consequences of Pi^1_1-CA_0" (Presented by K. Yokoyama) ProofSociety2024

• "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 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

• 不動点定理の複雑さ 数学・数理科学専攻若手研究者のための異分野・異業種研究交流会2022（研究交流会）

• カントール空間の単調作用素の不動点定理と Weihrauch 次数 SLACS2022

• 2階算術の部分体系群について 算術と様相論理の研究・論文セミナー

• 逆数学と超フィルター  数学基礎論若手の会 2021

• 実数の完備性と逆数学 数学基礎論若手の会 2020 年度

• Gowers の定理と逆数学 証明論研究集会 2020

• Basis Theorems and Models of WKL_0 数学基礎論若手の会 2019