研究課題
Todorcevicのサイドコンディション法は，与えられた数学的構造に対して不可算な部分構造を有限近似で付加する強制法の一手法である。例えば， Open Coloring Axiom や P-ideal Dichotomy を強制するとき，サイドコンディション法が組み込まれた強制法を利用できる。最も単純なサイドコンディション法は Todorcevic の epsilon-collapse である。epsilon-collapse は storong properness や Y-properness など， properness よりも強い性質を持つ。よって，サイドコンディション法が組み込まれた強制法は strong properness や Y-properness のような， proper よりも強い性質を持つ可能性がある。Aspero-Mota は finitely properness という強制法の性質を導入し，Weak Club Guessing および mho は finitely proper な強制法に関する強制公理から導かれることを示した。その際に用いられた Aspero-Mota の強制法の定義はサイドコンディション法のエッセンスを取り入れているが，冗長な部分があり，分かりにくい。代表者はサイドコンディション法をなるべくそのまま取り入れた強制法で Weak Club Guessing と mho を強制することを示し，さらにその強制法は Y-proper であることを示した。これにより，Weak Club Guessing および mho は Y-Proper Forcing Axiom から導かれることを示した。
すべて 2024 2023 その他
すべて 雑誌論文 (2件) (うち査読あり 2件、 オープンアクセス 2件) 学会発表 (1件) 備考 (1件)
Annals of Pure and Applied Logic
巻: 175 ページ: 103320～103320
10.1016/j.apal.2023.103320
The Journal of Symbolic Logic
巻: 88 ページ: 1387～1420
10.1017/jsl.2022.37
https://wwp.shizuoka.ac.jp/yorioka/
