Applications of forcing axioms and large continuum
Project/Area Number |
18K03393
|
Research Category |
Grant-in-Aid for Scientific Research (C)
|
Allocation Type | Multi-year Fund |
Section | 一般 |
Review Section |
Basic Section 12030:Basic mathematics-related
|
Research Institution | Shizuoka University |
Principal Investigator |
依岡 輝幸 静岡大学, 理学部, 准教授 (60432192)
|
Project Period (FY) |
2018-04-01 – 2024-03-31
|
Project Status |
Completed (Fiscal Year 2023)
|
Budget Amount *help |
¥4,030,000 (Direct Cost: ¥3,100,000、Indirect Cost: ¥930,000)
Fiscal Year 2021: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2020: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2019: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2018: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
|
Keywords | 強制法 / 公理的集合論 / 強制法公理 / 基数不変量 / サイドコンディション法 / 強制法理論 / 強制公理 / 連続体濃度 |
Outline of Annual Research Achievements |
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 から導かれることを示した。
|
Report
(6 results)
Research Products
(20 results)
-
-
-
-
-
-
-
-
-
[Presentation] YPFA implies MRP2019
Author(s)
Teruyuki Yorioka
Organizer
Set theory of the Reals (19w5064), at The Casa Matematica Oaxaca (CMO).
Related Report
Int'l Joint Research / Invited
-
-
-
-
-
-
-
-
-
-
-