2006 Fiscal Year Annual Research Report
| Project/Area Number |
04F04301
|
|---|
| Research Institution | Kobe University |
|---|
Principal Investigator |
BRENDLE Jorg 神戸大学, 大学院自然科学研究科, 助教授
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
HIRSCHORN James 神戸大学, 大学院自然科学研究科, 外国人特別研究員
|
|---|
| Keywords | 集合論 / 測度論 / 順序の理論 / トポロジー / 強制法 / 無限組合せ論 |
|---|
| Research Abstract |
本研究では、主に実数上の組合せ論とその強制法理論との関係を調べた。特に、無限組合せ論や測度論や順序に関する理論などから得られたアイディアと技法を用いて基数不変量やランダム強制法による拡大について焦点を絞って研究を行った。
(1)Eventual dominance ordering on the Baire space N^N.
準順序に重点を置きながら、線形性の一般化などのようないくつかの関係の性質を調べ、また、与えられた関係からある性質を満たす関係に拡大するaugmentation(または、ある性質を満たす関係に縮小するdiminishment)をそれぞれの性質に標準的に対応させた。特に、自然数NからNへの関数からなるベール空間N^N上の積順序【less than or equal】とeventual dominance準順序【less than or equal】^*を区別する性質についての研究を行い、(N^N,【less than or equal】)のaugmentationと(N,【less than or equal】^*)のdiminishmentについていくつかの結果を得た。例えば、【less than or equal】^*を【less than or equal】のある性質に対応するaugmentationとして特徴づけた。この研究に基づいて、反復強制法における保存定理の技法をさらに深く発展させることによって、s_<Cohen><min{s, add(M)}の無矛盾性を得ることができると予想している。
(2)Random trees under CH.
Shelahによって開発された実数を付加しない反復強制法をさらに発展させて、Todorcevicによる組合せ論的原理(*)の変形と連続体仮説CHとの無矛盾性を証明し、「CHかつ任意のランダム代数による強制拡大において全てのAronszajn木が特殊である」という主張の無矛盾性を得た。この結果は、外国人特別研究員によって既に示された「CHかつ任意のランダム代数による強制拡大においてSuslin木が存在しない」ことの無矛盾性を強めたものである。
|
