2003 Fiscal Year Annual Research Report
| Project/Area Number |
15540115
|
|---|
| Research Institution | Nagoya University |
|---|
Principal Investigator |
松原 洋 名古屋大学, 大学院・情報科学研究科, 助教授 (30242788)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
塩谷 真弘 筑波大学, 数学系, 講師 (30251028)
阿部 吉弘 神奈川大学, 工学部, 教授 (10159452)
吉信 康夫 名古屋大学, 大学院・情報科学研究科, 助手 (90281063)
|
|---|
| Keywords | 公理的集合論 |
|---|
| Research Abstract |
P_κλの部分集合Xが以下の性質をみたすときに、「Xはskinny」という;
λ以下のすべての順序数δに対し、|{t∈P_κλ|sup(t)=δ【not a member of】t}|<2^<|δ|>.
P_κλ上のnon-stationary idealをNS_<κλ>と記すことにする.またX⊆P_κλに対し、イデアルNS_<κλ>|Xを以下のように定義する.Y⊆P_κλに対し、Y∈NS_<κλ>|X⇔X∩Y∈NS_<κλ>.
松原はもしNS_<κλ>|Xがprecipitpous性を持つならばXがskinnyかつstationaryな部分集合を持つことを証明した.また松原はShelahとの共同研究の成果よりλがstrong limit cardinalならば、P_κλはskinnyでstationaryな部分集合を持たないことを示した.これよりλがstrong limit cardinalならばNS_<κλ>がnowhere preecipitousとなることが分かる.
一般連続体仮説(GCH)の下ではP_κλのskinnyかつstationaryな部分集合の存在はλにおけるdiamond principleと同値であることが示された.これよりGCHの下ではもしNS_<κλ>がprecipitousならば、{α<λ|cf(α)<κ}のすべてのstationaryな部分集合Aに対し、A上のdiamond principleが成立する.そこでGCHを仮定すると、NS_<κλ>がpreecipitousならばすべてのA⊆{α<λ|cf(α)<κ}に対しNS_λ|Aは飽和性を持たないことが導ける.ここでNS_λはλ上のnon-stationary idealまたNS_λ|AはNS_λとλ-Xから生成されたλ上のイデアルを意昧する.
|
Research Products
(5 results)
-
[Publications] Yo Matsubara: "Stationary preserving ideals over Pκλ"J.Math.Soc.Japan. 55・3. 827-835 (2003)
-
[Publications] Yasuo Yoshinobu: "Approachability and games on posets"Journal of Symbolic Logic. 68・2. 589-606 (2003)
-
[Publications] Makoto Takahashi, Yasuo Yoshinobu: "σ-short Boolean algebras"Mathematical Logic Quarterly. 49・6. 543-549 (2003)
-
[Publications] Bernhard Koenig, Yasuo Yoshinobu: "Fragments of Martin's Maximum in generic extensions"Mathematical Logic Quarterly. 50・3. 296-302 (2004)
-
[Publications] Masahiro Shioya: "A saturated stationary subset of P_κκ^+"Math.Res.Lett.. 10. 493-500 (2003)
