• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

2014 年度 実施状況報告書

タイプ排除定理と無限組み合わせ論の研究

研究課題

研究課題/領域番号 25400190
研究機関筑波大学

研究代表者

坪井 明人  筑波大学, 数理物質系, 教授 (30180045)

研究期間 (年度) 2013-04-01 – 2017-03-31
キーワードモデル理論 / 安定性理論 / グラフ / モデル完全性
研究実績の概要

理論Tが量化記号消去(QE)を許すとは,任意の論理式が量化記号∀および∃を持たない論理式と(Tのもとで)同値になることである.理論Tが量化記号消去を許せば,Tのモデルに関する各種の問題を非常に見通しよく考察できる.実閉体のQEは重要であり,計算機上にも実装されている.量化記号消去より弱いが同じく数学的に応用できる可能性を持つものがモデル完全性(model completeness)である.この概念は論理式がすべて存在型の論理式と同値になることを意味している.Tを∀∃型論理式の集合で記述された理論とする.Tがモデル完全なSと非常に近い関係にあるときTは随伴可能(companionable)であると言い,SをTのモデル随伴理論(model companion)という.多くの重要な理論が随伴可能なことが知られている.例えば,体の公理は随伴可能で,そのモデル随伴理論は代数閉体の理論である.しかし一方で随伴可能でない理論も存在する.
そこでいかなる時に随伴可能で,いかなる時に随伴可能でないかを判定できる自然で見やすい条件が見つかれば大変良い結果となる.我々はTが随伴可能となるための必要十分条件および,見やすい十分条件(定義可能拡大という概念を導入した)を発見することができた.
その判定条件を用いると,例えば次のことがわかる:(1)平面グラフの理論(公理化できることは,K5,K33の埋め込み不可能性による)は随伴可能でない.(2)K4,K4-を部分グラフとして持たないグラフのクラスの理論は随伴可能である.

現在までの達成度 (区分)
現在までの達成度 (区分)

2: おおむね順調に進展している

理由

研究目的の一つは新しい形のタイプ排除定理を構築して,安定性理論/単純性理論の進展に貢献することである.新しいタイプ排除定理の構築まではできていない.しかし安定性理論/単純性理論に関しては,別の方法での研究により,進展に貢献できる結果が出ている.

今後の研究の推進方策

有限グラフ全体のクラスKがラムゼー性を持つことは知られている.その証明に無限構造を使うことにより見通しのよい証明が得られることを示した.
今後は,この方法論を用いて,Kの部分クラスでラムゼー性を持つクラスを発見することを目指す.

次年度使用額が生じた理由

研究打合せのために神戸大学(複数回)と鹿児島大学に出張予定でいたが,先方との日程調整が不調に終わったため,実際には予定の回数の出張ができなかった.

次年度使用額の使用計画

京都大学数理解析研究所で今年度は大きな研究集会(12月)が開かれる予定であり,集会への自身の参加および数名の関連する研究者への旅費として使用する予定である.

  • 研究成果

    (2件)

すべて 2014 その他

すべて 学会発表 (1件) (うち招待講演 1件) 備考 (1件)

  • [学会発表] Infinitary Method for Finite Structures2014

    • 著者名/発表者名
      Akito TSUBOI
    • 学会等名
      Classification Theory Workshop
    • 発表場所
      Daejon, Korea
    • 年月日
      2014-08-06 – 2014-08-09
    • 招待講演
  • [備考] ロジックの部屋

    • URL

      www.math.tsukuba.ac.jp/~tsuboi/

URL: 

公開日: 2016-05-27  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi