2001 Fiscal Year Annual Research Report
| Project/Area Number |
12740056
|
|---|
| Research Institution | University of Tsukuba |
|---|
Principal Investigator |
塩谷 真弘 筑波大学, 数学系, 講師 (30251028)
|
|---|
| Keywords | 定常集合 / クラブフィルター / 強制法 / 巨大基数 |
|---|
| Research Abstract |
論文A saturated stationary subset of P_κκ^+(投稿中)において次の結果を証明した:
定理.κ^+-supercompact基数κの存在を仮定する.このとき"高々κ個の定常集合にしか分割できないP_κκ^+の定常集合が存在する"ような強制法によるモデルが存在する.
論文Partitioning pairs of uncountable sets(投稿中)において次の結果を証明した:
定理.κがμ^<cfλ>=μを満たす正則基数μの後続基数であるとき,P_κλ〓[unbounded]^2_<λ+>つまり,P_κλの元のペアをλ^+色に彩色してP_κλのすべての非有界集合はすべての色のペアを含むようにできる.
Shelah氏との共著論文Nonreflecting stationary sets in P_κλ(投稿中)では,これまでとは全く異なる方法により,正則基数の後続基数であるようなκに対してP_κκ^+上に定常集合の反映原理に対する反例を構成した.
|
Research Products
(1 results)
