| 研究課題/領域番号 |
25800089
|
|---|
| 研究種目 |
若手研究(B)
|
| 配分区分 | 基金 |
|---|
| 研究分野 |
数学基礎・応用数学
|
|---|
| 研究機関 | 静岡大学 |
|---|
研究代表者 |
依岡 輝幸 静岡大学, 理学部, 准教授 (60432192)
|
|---|
| 研究期間 (年度) |
2013-04-01 – 2017-03-31
|
| 研究課題ステータス |
完了 (2016年度)
|
| 配分額 *注記 |
3,770千円 (直接経費: 2,900千円、間接経費: 870千円)
2016年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2015年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2014年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
2013年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
|
|---|
| キーワード | 公理的集合論 / 強制法理論 / 強制法 / 強制公理 / 無限ラムゼイ理論 |
|---|
| 研究成果の概要 |
ラムゼイ理論的性質や公理についてはまだ未解決なことが多く残されている．例えば，代表的な強制法の性質である可算鎖条件はラムゼイ理論的な性質のひとつであり，「S-space が存在しない」，「entangled set of reals が存在しない」，P-ideal Dichotomy などはラムゼイ理論的な数学的命題だと考えられる．本研究では，(1) 可算鎖条件を満たす強制法に関するPrikry の問題についての研究，(2) ideal-based 強制法についての性質，(3) 特殊でない Aronszajn 木が存在することと無矛盾な様々なラムゼイ理論的数学的命題，について研究した．
|
