权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Forcing axioms and their preservation under forcing

强制公理及其在强制下的保存

基本信息

批准号：
18K03394
负责人：
吉信康夫
金额：
$ 2.66万
依托单位：
Nagoya University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2018
资助国家：
日本
起止时间：
2018-04-01 至 2024-03-31
项目状态：
已结题

项目摘要

固有強制法公理(PFA)やマーティンの極大公理(MM)は、強制公理と呼ばれる集合論の公理の一種であり、連続体の濃度がアレフ2であることなど多くの帰結をもたらすことから集合論における重要な研究対象である。本研究の目的は、これらの強制公理たちが、どのような半順序集合による強制拡大の下でどの程度保存されるかを体系的に明らかにすることである。これまでに、PFAを強制法によって保存する半順序集合の性質として「戦術的」「作戦的」「*-戦術的」「*-作戦的」などを、さらにそれより広くPFAの一部を保存する強制概念の性質として「**-戦術的」「**-作戦的」などの性質を比較検討してきた。今年度の研究は肯定的な成果にはやや乏しい。前年度の研究で、「**-作戦的閉」な半順序集合に対するω2-マーティンの公理が、「**-戦術的閉」な半順序集合に対する同様の公理と同値であることを示したが、この手法を用いると、以前から未解決であった、「*-戦術的閉な半順序集合と作戦的閉な半順序集合に対するω2-マーティンの公理は、*-作戦的閉な半順序集合に対するω2-マーティンの公理を導くか？」という問題を肯定的に解決できることが予想されたので、今年度はこの問題に取り組んだ。その結果、この手法そのままでは、上記の問題を解決することができないことがわかった。ただ、この困難さは、上記の問題が否定的である可能性も示唆しており、それはそれで興味深い現象であるとも考えられる。

Inherent peremptory norms axiom (PFA) The purpose of this study is to preserve the system of stress axioms in semi-sequential sets. PFA peremptory norms for preservation of semi-sequential sets of properties,"technical,""*-technical,"*-technical, *-technical,"*-technical, *-technical, *-technical,"* technical,"* technical, * technical, * technical,"* technical, * technical,"* technical, This year's research is positive and the results are lacking. Previous year's research,"**-closed" semi-sequential set,"**-closed" semi-sequential set,"same axiom, same value","previously unsolved","*-closed semi-sequential set," closed "semi-sequential set," ω2-closed The closed semi-sequential set of *-actions is derived from ω2- This year's problem is definitely solved. The result of the problem is that the problem is solved.ただ、この困难さは、上记の问题が否定的である可能性も示唆しており、それはそれで兴味深い现象であるとも考えられる。