2013 Fiscal Year Annual Research Report
無限論理に関するモデル理論の研究とそのヴォート予想への応用
| Project/Area Number |
11J00930
|
|---|
| Research Institution | University of Tsukuba |
|---|
Principal Investigator |
竹内 耕太 筑波大学, 数理物質系, 特別研究員(PD)
|
|---|
| Keywords | n-dePendent property / Sauer-Shelahの定理 / グラフのモデル理論 / モデルコンパニオン |
|---|
| Research Abstract |
2013年度は大きく分けて二つの研究成果を得た。ひとつはn-dependent理論についての新しい特徴づけと組合せ論におけるSauer-Shealahの定理との対応関係を明確化したこと、もうひとつはモデルコンパニオンの存在・非存在を判定するいくつかの命題を特にグラフの理論について与えたことである。
n-dependent理論はモデル理論における安定性理論の一般化となっている理論であり、特に安定性理論で取り扱われるforking概念をn-dependent理論でも扱えるように理論を整備することが望まれている。本研究ではn-dependent理論の研究の基礎となる成果を得た。とくにn-dependent理論におけるタイプの数の大きさを、組合せ論的方法を用いて評価することに成功した。特に前年まではタイプの数を上から評価する不等式が得られていたが、その不等式が最良であること(等式が成立する場合の具体例が存在すること)を示すことができた。これでn-dependent理論におけるタイプの数とSauer-Shelahの定理の一般化におけるshutter関数の値が丁度対応していることが確認できた。
理論TのモデルコンパニオンSとは、ある種のgenericな理論を定式化した概念であり、体の公理Tに対し代数閉体の公理S、全順序の公理に対し稠密全順序の公理などが対応する。本研究ではグラフのクラスKに対しKを排除するグラフのクラスに対し、モデルコンパニオンが存在するかどうかについて研究を行った。
とくにKが2-edge連結なグラフのみからなるとき、Kが有限個の"ほとんど"completeなグラフのみからなるときの場合について、それぞれ必要条件と十分条件を与えた。これらは今まであまり光を当ててこられなかった、モデルコンパニオンが存在しない理論の分類に新しい結果を与える物となった。
|
| Strategy for Future Research Activity |
(抄録なし)
|
