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

アレフ数2以上の無限基数上の組合せ論と巨大基数公理

阿莱夫数为 2 或更多的无限基数上的组合学和巨基数公理

基本信息

批准号：
17740053
负责人：
吉信康夫
金额：
$ 2.11万
依托单位：
Nagoya University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2005
资助国家：
日本
起止时间：
2005 至 2007
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-17740053/
关键词：
数学基礎論公理的集合論巨大基数公理 reflection principle tail club guessing スミルノフコンパクト化 tail culb guessing Smirnov compactifications Martin's Maximum Namba forcing regressive Kurepa trees tail club guessing sequence Smirnov compactification

项目摘要

ω_2以上の無限基数上の組合せ論やその強制公理との関連について研究し、次の成果を得た。(1)P_κλ構造上の閉非有界推測列P_κλ上の閉非有界推測列の存在と反映原理の関連などについて昨年度ケーニヒ(トロント大)、ラーソン(マイアミ大)ともに執筆した論文について、レフェリーとのやりとりを通して、特にκがω_2以上の場合のP_κλ上の閉非有界推測列については、我々が用いたウッディン型の閉非有界性の定義のかわりに、イエック型の閉非有界性の定義を用いると、その基数不変量を用いた特徴付けなど我々が論文で示した命題が概ねすべて成立するほか、κ鎖条件をみたす半順序集合による強制法に対する保存性などいくつかの点でよりすぐれているとの結論に達した。(2)強制公理と反映原理2008年1月にドイツの0berwolfachで開かれた公理的集合論の研究集会において、アスペロ(バルセロナ大)、クルーガ(カリフォルニア大バークレー校)らとともに、強制公理の一種である固有強制法公理と、反映原理の非常に強い否定が両立することを示した。ω_2に対する反映原理の単純な否定と固有強制法公理との両立はブドワンらによって以前から示されていたが、上記の結果はこれを大幅に改良するものである。(3)位相空間のコンパクト化に関わる基数不変量一昨年度、昨年度に引き続き、可分な距離化可能空間Xのストーンチェックコンパクト化を生成するのに必要なスミルノフコンパクト化の最小濃度sa(X)を基数不変量の観点から調べる研究を嘉田(大阪府立大学)、友安(都城高専)らと行った。その結果、κがアレフω以下の無限基数でdとcの間にあるときは、つねにsa(X)=κとなる可分距離化可能空間Xが存在することがわかった。

The theory of combination on infinite cardinality above ω_2 is studied and the results are obtained. (1)P The existence of closed unbounded speculative sequences on P_κ λ structures and the correlation between reflection principles are discussed in detail. The closed unbounded speculative sequences on P_κ λ structures are discussed in detail. The closed unbounded speculative sequences on P_κ λ structures are discussed in detail. The definition of closed-loop nonboundedness of a type is used in the paper. The cardinality is not used in the paper. The conclusion is reached in the paper. The proposition is established in the paper. The k-lock condition is semi-sequential. (2)Coercion axiom and reflection principle January 2008 In the research meeting of set theory of open axioms, there are many kinds of inherent peremptory norms axioms and reflection principle axioms.ω_2 is a reflection of the principle of pure negation and inherent peremptory norms. (3)A study on the minimum concentration sa (X) of phase space and the minimum concentration sa (X) of phase space. As a result, the infinite radix below κ ω d c