2005 Fiscal Year Annual Research Report
| Project/Area Number |
17540110
|
|---|
| Research Institution | Nagoya University |
|---|
Principal Investigator |
松原 洋 名古屋大学, 大学院・情報科学研究科, 教授 (30242788)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
吉信 康夫 名古屋大学, 大学院・情報科学研究科, 助教授 (90281063)
阿部 吉弘 神奈川大学, 工学部, 教授 (10159452)
塩谷 真弘 筑波大学, 数学系, 講師 (30251028)
|
|---|
| Keywords | 公理的集合論 |
|---|
| Research Abstract |
XをP_κλの部分集合とする.順序数α【less than or equal】λに対し、X_α={s∈X:sup(s)=α}と定義する.もし∀α【less than or equal】λ(|X_α|<2^<|α|>)が成立するならば、XはskinnyなP_κλの部分集合また∀α【less than or equal】λ(|X_α|【less than or equal】α)が成立するときは、XはskinnierなP_κλの部分集合.さらに∀α【less than or equal】λ(|X_α|【less than or equal】1)ならば、XはskinniestなP_κλの部分集合と呼ぶことにする.松原はがstrong limit cardinalの時には、NS_<κλ>|XのprecititousnessよりXのskinnyかつstationaryな部分集合の存在を導いた.しかしShelahはpcf理論を用いて、λがstrong limit singular cardinalならばP_κλのskinnyな部分集合はstationaryではないことを示した.これによりλがstrong limit singular cardinalならばNS_<κλ>はnowhere precipitousであることが分かる.松原はP_κλのskinnierなstationary subset Xの存在とλ^<<λ>=λという仮定よりから◇_λ(E_X)(ただしE_X={sup(s):s∈X})が導けることを示した.しかしGCHの下ではskinnyとskinnierは同じものなのでGCH+NS_<κλ>のprecititousnessよりE^λ_<<κ>={α<λ:cf(α)<κ}のすべてのstationaryなsubset Fに対し◇_λ(F)が成立していることが分かる.さらにP_κλのskinnyなstationary subet Xの存在のみからE_X上の◇_λ(E_X)より弱いcombinatorial principleが得られることが証明された.さらにこのprincipleからNS_λ|E_Xの非飽和性が得られることが分かった.P_κλのskinniestなstationary subsetの存在については以下のことが分かっている.◇_λ(E)が成立するならばE_X⊆EとなっているP_κλのskinniestなstationary subset Xが存在する.
|
Research Products
(1 results)
