| 研究課題/領域番号 |
26400191
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
数学基礎・応用数学
|
|---|
| 研究機関 | 法政大学 |
|---|
研究代表者 |
池田 宏一郎 法政大学, 経営学部, 教授 (60332029)
|
|---|
| 連携研究者 |
坪井 明人 筑波大学, 数理物質科学研究科, 教授 (30180045)
桔梗 宏孝 神戸大学, 工学研究科, 教授 (80204824)
|
|---|
| 研究協力者 |
BALDWIN John T
WAGNER Frank O.
|
|---|
| 研究期間 (年度) |
2014-04-01 – 2017-03-31
|
| 研究課題ステータス |
完了 (2016年度)
|
| 配分額 *注記 |
2,730千円 (直接経費: 2,100千円、間接経費: 630千円)
2016年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2015年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2014年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
|
|---|
| キーワード | モデル理論 / ジェネリック構造 / 安定性理論 / 数学基礎論 |
|---|
| 研究成果の概要 |
本研究では，モデル理論における重要な研究対象であるジェネリック構造について調べ，いくつかの結果を得ることができた．まず，ほとんどすべてのジェネリック構造は準モデル完全性をもつことを証明した．また，ジェネリック構造の中にはモデル完全性をもたない例もあるが，どのようなジェネリック構造がモデル完全性をもつかを示す特徴付け定理を得ることができた．さらに，全融合性をもつジェネリック構造は常に安定であることを証明することができた．
|
