Study on generic structures in model theory
| Project/Area Number |
25400203
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Multi-year Fund |
|---|
| Section | 一般 |
|---|
| Research Field |
Foundations of mathematics/Applied mathematics
|
|---|
| Research Institution | Kobe University |
|---|
Principal Investigator |
Kikyo Hirotaka 神戸大学, システム情報学研究科, 教授 (80204824)
|
|---|
| Co-Investigator(Renkei-kenkyūsha) |
IKEDA Koichiro 法政大学, 経営学部, 教授 (60332029)
TSUBOI Akito 筑波大学, 大学院数理物質科学研究科, 教授 (30180045)
|
|---|
| Project Period (FY) |
2013-04-01 – 2016-03-31
|
| Project Status |
Completed (Fiscal Year 2015)
|
| Budget Amount *help |
¥4,550,000 (Direct Cost: ¥3,500,000、Indirect Cost: ¥1,050,000)
Fiscal Year 2015: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2014: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2013: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
|
|---|
| Keywords | ジェネリック構造 / 融合 / モデル完全 / 全融合性 / 任意存在形 / 射影平面 / 融合クラス / モデル完全性 / 任意存在形の公理化 / グラフ / 有限構造の次元 / 近モデル完全 |
|---|
| Outline of Final Research Achievements |
Consider graphs or hypergraphs as structures. We define a dimension of a structure by the number of points - α× the number of edges. With this dimension, we can define a closed substructure. Given a class of finite structures with some property, we can construct a structure called a generic structure by gluing together these structures. A generic structure reflects closed structure relations between finite structures in the given class. There is a class denoted Kf defined with a boundary function f. If α is a rational number, the generic structure will be model complete under some assumption on f. We have some important lemmas in case that α is irrational. There is a notion of the full amalgamation property. If a class has the full amalgamation property then the generic structure can be axiomatised by universal existential sentences. We constructed an infinite projective plane such that it has no finite projective plane as a substructure.
|
Report
(4 results)
Research Products
(13 results)
