| 研究課題/領域番号 |
18K03393
|
|---|
| 研究機関 | 静岡大学 |
|---|
研究代表者 |
依岡 輝幸 静岡大学, 理学部, 准教授 (60432192)
|
|---|
| 研究期間 (年度) |
2018-04-01 – 2022-03-31
|
| キーワード | 強制法 / 公理的集合論 |
|---|
| 研究実績の概要 |
2019年8月のメキシコでの国際会議で，連続体濃度を aleph_2 にする数学的命題について，Justin Tatch Moore と議論を交わした。目的は，ある種の Aspero-Mota iteration の適用限界を示す例を見つけるためであり，その有力候補であることを 2019年に確認できた。2020年度においてこの研究を完成させた。
Moore との議論で発見した数学的命題を Aspero-Mota iteration で強制するために，non-meager set X が non-meager であることを保存したままで，omega_1 上のある club set を付加する side-condition method を組み込んだ有限近似の proper 強制法を見つける必要がある。基本となる技術は，side-condition method で Cohen 実数を壊さないことである。2019年に示した方法をより分かりやすい方法で置き換えることで，Aspero-Mota iteration でより適用させやすくし，より見通しの良い証明を与えた。
この Aspero-Mota iteration は，iteration の長さが omega_2 以下であれば proper であるけれども，それより長ときは proper でなくなる。Aspero-Mota iteration の最も重要な点は連続体濃度を aleph_2 より大きくにすることを強制できることである。しかしこの例により，ある種の Aspero-Mota iteration は連続体濃度を aleph_2 以下にしか強制できないことが分かった。
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
ある種の Aspero-Mota iteration の適用限界である例を完成させることができた。これは本研究課題の中心テーマのひとつである。
|
| 今後の研究の推進方策 |
2021年度では大きい連続体濃度と無矛盾な新たな強制法公理を見つけることを目指す。2020年度に完成させた研究で重要な役割を果たす，Cohen real を保存する proper 強制法の例を精査する。
また，今まで得られた研究についての成果発表を積極的に行う。
|
| 次年度使用額が生じた理由 |
新型コロナウィルス感染症拡大防止のため，研究打ち合わせができなかった。次年度使用分は，2021年に実施する研究打ち合わせの経費に使用する。
|
