研究課題
主に、強制法の理論などの洗練された技法を用いて実数全体の組み合わせ論的構造を集合論の観点から調べた。特に、反復強制法の理論と、実数直線の構造を説明する、最小の非可算基数と連続体の濃度の間の値を取り得る「連続体の基数不変量」の相互関係に焦点を絞った。主な結果は下記通りである。(1) Brech（サンパウロ大学）と Telles（リオデジャネイロ州立大学）との共同研究をを継続し、自然数全体の部分集合の稠密性に関する基数不変量と古典的な基数不変量の間の大小関係について幾つかの新しい結果を得た。特に、density number が痩イデアルの uniformity と一致することを証明した。(2) また、Hrusak（メキシコ国立自治大学モレリア校）と Parente（神戸大学）との共同研究において、コーエン代数上の極大フィルターや分割の構造と痩イデアルの基数不変量の間の密接な関係を確立した。特に、痩イデアルの cofinality がコーエン代数の ultrafilter number 以下であることを示した。(3) さらに、Parente との共同研究で、完備なブール代数上の極大フィルター上の Rudin-Frolik 順序の二つの定義を比較し、可算集合のベキ集合代数やコーエン代数の場合に一致することを確立した。また、非可算集合のベキ集合代数の場合に一つの定義がもう一つの定義より真に強いこともわかった。(4) 最後に、Wohofsky（ウィーン工科大学）との Marczewski イデアルのボレル予想についての共著論文の新しいバーションを作成した。
すべて 2024 2023 その他
すべて 国際共同研究 (3件) 雑誌論文 (4件) (うち国際共著 2件、 査読あり 4件) 学会発表 (2件) (うち国際学会 1件、 招待講演 2件)
Landscapes in Logic, College Publications, London, in press
巻: - ページ: -
Annals of Pure and Applied Logic
巻: 174 ページ: 103303～103303
10.1016/j.apal.2023.103303
Canadian Mathematical Bulletin
巻: 66 ページ: 1237～1243
10.4153/S0008439523000310
The Journal of Symbolic Logic
巻: 88 ページ: 1421～1442
10.1017/jsl.2022.18
