| 研究課題/領域番号 |
11F01765
|
|---|
| 研究種目 |
特別研究員奨励費
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 外国 |
|---|
| 研究分野 |
数学一般(含確率論・統計数学)
|
|---|
| 研究機関 | 神戸大学 |
|---|
| 受入研究者 |
BRENDLE Joerg (2013) 神戸大学, 大学院システム情報学研究科, 教授
BRENDLE Jorg (2011-2012) 神戸大学, システム情報学研究科, 准教授
|
|---|
| 外国人特別研究員 |
BROOKE-TAYLOR Andrew 神戸大学, 大学院システム情報学研究科, 外国人特別研究員
BROOKE-TAYLOR Andrew 神戸大学, システム情報学研究科, 外国人特別研究員
|
|---|
| 研究期間 (年度) |
2011 – 2013
|
| 研究課題ステータス |
完了 (2013年度)
|
| 配分額 *注記 |
2,000千円 (直接経費: 2,000千円)
2013年度: 600千円 (直接経費: 600千円)
2012年度: 800千円 (直接経費: 800千円)
2011年度: 600千円 (直接経費: 600千円)
|
|---|
| キーワード | 数学基礎論 / 集合論 / トポロジー / カテゴリー論 / 強制法 / 巨大基数 / 無限組合せ論 / 計算可能性理輪 / 組合せ論的集合論 / 基数不変量 |
|---|
| 研究概要 |
平成25年度は、巨大基数の公理や、これらの公理の集合論の他の原理との相互関係や、これらの公理の純粋数学のいくつかの分野への応用について共同研究を行った。特に、平成23年度や平成24年度の研究を継続することで、反復強制法や組合せ論的集合論などの集合論の最先端の技法を用いて、巨大墓数に対する基数不変量や巨大基数の公理の代数的位相幾何学への応用をより深く調べた。また、基数不変量と計算可能性理論における高度性質の間の類似や、無限組合せ論におけるランダムグラフの一般化という二つのトピックについての新しい研究に着手した。このトピックにおいて得られた研究実積の概要は下記通りである。
1. Cardiml invariants and highness properties. 外国人特別研究員と受入研究者は、Selwyn Ng(南洋理工大学)とAndré Nies(オークランド大学)とCichonの図表に現れる連続体の基数不変量とチューリング次数における高度性質(highness properties)の間の類似についての共同研究を行った。例えば、この図表の左下の三つの具なる基数不変量unbounding number、痩イデアルの加法性と零イデアルの加法性に対応する概念highness、meager engulfingとSchnorr engulfingが同値であることが明らかになった。
2. The infinito random simplicial complex. 外国人特別研究員はDamiano Testa(ウォーリック大学)との共同研究で、ランダムグラフの一般化である、全ての有限次元な面をランダムに付け加えることによって構成されている、有限な単体的複体のFraissé極限である無限ランダム単体的複体(infinite random simplicial complex)を調べた。例えば、この構造を記述するモデル理論的なコンテキストが無限言語を必要とするが、有限言語に対するFraissé極限の周知の性質が成り立つことを証明した。
|
| 今後の研究の推進方策 |
(抄録なし)
|
