| 研究課題/領域番号 |
25400203
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
数学基礎・応用数学
|
|---|
| 研究機関 | 神戸大学 |
|---|
研究代表者 |
桔梗 宏孝 神戸大学, システム情報学研究科, 教授 (80204824)
|
|---|
| 連携研究者 |
池田 宏一郎 法政大学, 経営学部, 教授 (60332029)
坪井 明人 筑波大学, 大学院数理物質科学研究科, 教授 (30180045)
|
|---|
| 研究期間 (年度) |
2013-04-01 – 2016-03-31
|
| キーワード | ジェネリック構造 / 融合 / モデル完全 / 全融合性 / 任意存在形 / 射影平面 |
|---|
| 研究成果の概要 |
グラフや超グラフを対象の構造とするとき，点の数-α×辺の数を次元と呼ぶ。次元から閉部分構造という概念が定義される。融合性のもとで，与えられた有限構造を貼りあわせてできるジェネリック構造というものがある。それは与えられた構造間の閉部分構造という関係をすべて内部で実現している構造である。境界関数fから決まるKfというクラスがある。αが有理数の場合にKfのジェネリック構造はfのある仮定のもとでモデル完全になる。αが無理数の場合にもいくつかの補題が成り立つ。全融合性と呼ばれる性質をもつ融合クラスのジェネリック構造は任意存在形で公理化できる。有限射影平面を部分構造にもたない無限射影平面が構成できる。
|
| 自由記述の分野 |
数理論理学
|
