2012 Fiscal Year Annual Research Report
| Project/Area Number |
22540110
|
|---|
| Research Institution | University of Tsukuba |
|---|
Principal Investigator |
坪井 明人 筑波大学, 数理物質系, 教授 (30180045)
|
|---|
| Project Period (FY) |
2010-04-01 – 2013-03-31
|
| Keywords | モデル理論 |
|---|
| Research Abstract |
自由変数ｘおよび ｙ を持つ論理式φ（ｘ，ｙ）を考える．ｙの部分にパラメータを代入した場合を考える．このパラメータが樹形図状に並んだ場合が興味ある場合である．モデル理論における，理論のクラスの分類において，この樹形図上のノードに並んだパラメータを代入した論理式の集合が重要になる．実際にモデル理論的安定性およびモデル理論的単純性などは，ある種の論理式集合Γが解を持つか否かということで定義されている．
本研究においては，Γにおいてパラメータ集合が一様樹形図としてとることができるか否かについて研究を行った．
Γに対する同質性の条件として，「部分樹形図条件」，「弱い意味での樹形図条件」，ならびに「強い意味での樹形図条件」を定義して，Γがそれらを満たすときに，Γのパラメータ集合として，それぞれ「一様樹形図」，「弱い意味の一様樹形図」，ならびに「強い意味での一様樹形図」の存在を示した．弱い意味での場合においては，Shelahが明確には述べていなかった結果の厳密な意味での証明を与えている．
また以上の結果は，樹形図が横幅がω，高さがωの場合であるが，応用を目指した場合には，これ以外の形の樹形図の考察も必要になる．我々は，高さが偶数のノードではその後継ノードが一つだけの場合も考察をし，単純性理論の考察へ応用を行った．
|
| Current Status of Research Progress |
Reason
24年度が最終年度であるため、記入しない。
|
| Strategy for Future Research Activity |
24年度が最終年度であるため、記入しない。
|
Research Products
(5 results)
