| 研究概要 |
1.λ<λ^<<κ><2^λの場合のP_κλ-combinatoricsについて:λ=2^<δ^<<κ>>でP_κλ上のcompletely ineffableでない集合のなすイデアル(Iとする)が分割の性質(partition property)をもたないならば,λ_κδ上に分割の性質をもたない正規極大フィルターが存在することを明らかにした。次のことを用いている;(1){x∈P_κλ:x^^-≠2^<x∩δ^^^-^<<x∩k.>>}∈I(a^^-はaのorder typeを表す).
(2)Iが分割の性質をもつことと,次のことは同値である;∀X【not a member of】I∃Y ⊂X(Y【not a member of】I∧∀x∈Y∀y∈Y(x〓y→|x|<y∩k))
正規極大フィルターUが分割の性質をもつことと,次のことは同値である;∃A∈U∀x∈A∀y∈A(x〓y→|x|<y∩k).
(3)任意のX【not a member of】Iに対して,その部分集合で,{Z⊂P_κδ:{x∈Y:x∩δ∈Z}【not a member of】I}がP_κδ上の正規極大フィルターになるようなY【not a member of】Iが存在する.
2.弱い分割の性質をもたない集合の成すイデアルの特徴付けについて:完全な特徴付けは得られなかったが,標準的に定義される集合で,このイデアルに属さないものとして以下のものがあることが分かった。これは,このイデアルが非常に小さいことを示している.
(1){x∈P_κλ:x∩κ is not an ordinal}
(2){x∈P_κλ:x∩κ is a successor ordinal}及び{x∈P_κλ:x∩κ is a limit ordinal}
(3){x∈P_κλ:x∩κ =|x|}及び{x∈P_κλ:x∩κ<|x|}
3.新しい強制法の開発:Non-reflecting stationary setを付加する強制法の開発を狙っていたが,N_1上にN_1-denseイデアルが存在する強制モデルの構成に成功した。M.Foremanによる従来の構成は,途中で内部モデルに制限して議論するため,見通しが悪かった。今回の塩谷の手法は,Levi collapseをモデイファイした強制のEaston support iterationで直観が働き,他の問題への応用も期待できる.
|
