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

ランダムグラフを用いたモデル理論の研究

研究課題

研究課題/領域番号 19540150
研究種目

基盤研究(C)

配分区分補助金
応募区分一般
研究分野 数学一般(含確率論・統計数学)
研究機関法政大学

研究代表者

池田 宏一郎  法政大学, 経営学部, 教授 (60332029)

研究分担者 坪井 明人  筑波大学, 数理物質科学研究科, 教授 (30180045)
桔梗 宏孝  神戸大学, 工学研究科, 教授 (80204824)
研究期間 (年度) 2007 – 2009
研究課題ステータス 完了 (2009年度)
配分額 *注記
2,860千円 (直接経費: 2,200千円、間接経費: 660千円)
2009年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2008年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2007年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
キーワード数学基礎論 / モデル理論 / ランダムグラフ / ジェネリック構造 / 安定性理論 / Lachlan予想 / ω安定 / 超安定 / Generic構造 / Zero-one law
研究概要

本研究の目的は,ランダムグラフの一般化としてのジェネリック構造の研究,さらにはジェネリック構造を用いたLachlan予想(可算モデルの個数に関する予想)の解決にあった.ジェネリック構造の研究に関しては,Baldwinの問題(すべてのジェネリック構造は真に安定かω安定か)を否定的に解決することができた.Lachlan予想に関しては,ジェネリック構造を用いてLachlan予想の反例を構成することは難しいことを証明した.

報告書

(4件)
  • 2009 実績報告書   研究成果報告書 ( PDF )
  • 2008 実績報告書
  • 2007 実績報告書
  • 研究成果

    (42件)

すべて 2011 2010 2009 2008 2007 その他

すべて 雑誌論文 (18件) (うち査読あり 7件) 学会発表 (24件)

  • [雑誌論文] ジェネリック構造の飽和性と安定性2011

    • 著者名/発表者名
      池田宏一郎
    • 雑誌名

      京都大学数理解析研究所講究録に (掲載決定)

    • 関連する報告書
      2009 研究成果報告書
  • [雑誌論文] On superstable generic structures2011

    • 著者名/発表者名
      池田宏一郎
    • 雑誌名

      京都大学数理解析研究所講究録に (掲載決定)

    • 関連する報告書
      2009 研究成果報告書
  • [雑誌論文] A note on stability spectrum of generic structures2010

    • 著者名/発表者名
      Y. Anbo, 池田宏一郎
    • 雑誌名

      Mathematical Logic Quarterly 56

      ページ: 257-261

    • 関連する報告書
      2009 研究成果報告書
    • 査読あり
  • [雑誌論文] A remark on generic structures and the number of countable models2010

    • 著者名/発表者名
      池田宏一郎
    • 雑誌名

      Proceedings of the 10th Asian logic conference, World Scientific

      ページ: 214-226

    • 関連する報告書
      2009 研究成果報告書
    • 査読あり
  • [雑誌論文] A remark on generic structures and the number of countable models2010

    • 著者名/発表者名
      Koichiro Ikeda
    • 雑誌名

      Proceedings of the 10th Asian logic conference

      ページ: 214-226

    • 関連する報告書
      2009 実績報告書
    • 査読あり
  • [雑誌論文] A note on stability spectrum of generic structures2010

    • 著者名/発表者名
      Y.Anbo, K.Ikeda
    • 雑誌名

      Mathematical Logic Quarterlyに掲載確定 56巻

    • 関連する報告書
      2009 実績報告書
    • 査読あり
  • [雑誌論文] On generic structures with a strong amalgamation property2009

    • 著者名/発表者名
      池田宏一郎, H. Kikyo, A. Tsuboi
    • 雑誌名

      journal of Symbolic Logic 74

      ページ: 721-733

    • 関連する報告書
      2009 研究成果報告書
    • 査読あり
  • [雑誌論文] On generic structures with a strong amalgamation property2009

    • 著者名/発表者名
      K.Ikeda, H.Kikyo, A.Tsuboi
    • 雑誌名

      Journal of Symboloc Logic 74巻

      ページ: 721-733

    • 関連する報告書
      2009 実績報告書
    • 査読あり
  • [雑誌論文] A note on independence in generic structures2008

    • 著者名/発表者名
      池田宏一郎
    • 雑誌名

      京都大学数理解析研究所講究録 1602

      ページ: 22-25

    • 関連する報告書
      2009 研究成果報告書
  • [雑誌論文] On generic Kripke structures2008

    • 著者名/発表者名
      池田宏一郎, 岡本圭史
    • 雑誌名

      京都大学数理解析研究所講究録 1602

      ページ: 85-89

    • 関連する報告書
      2009 研究成果報告書
  • [雑誌論文] On random Kripke frames2008

    • 著者名/発表者名
      池田宏一郎, 岡本圭史
    • 雑誌名

      京都大学数理解析研究所講究録 1602

      ページ: 74-84

    • 関連する報告書
      2009 研究成果報告書
  • [雑誌論文] On random Kripke frames2008

    • 著者名/発表者名
      池田宏一郎
    • 雑誌名

      数理解析研究所講究録 1602

      ページ: 74-84

    • 関連する報告書
      2008 実績報告書
  • [雑誌論文] On generic Kripke structures2008

    • 著者名/発表者名
      池田宏一郎
    • 雑誌名

      数理解析研究所講究録 1602

      ページ: 85-89

    • 関連する報告書
      2008 実績報告書
  • [雑誌論文] A note on independence in generic structures2008

    • 著者名/発表者名
      池田宏一郎
    • 雑誌名

      数理解析研究所講究録 1602

      ページ: 22-25

    • 関連する報告書
      2008 実績報告書
  • [雑誌論文] A note on stability spectrum of generic structures2007

    • 著者名/発表者名
      池田宏一郎
    • 雑誌名

      都大学数理解析研究所講究録 1555

      ページ: 104-109

    • 関連する報告書
      2009 研究成果報告書
  • [雑誌論文] A note on stability spectrum of generic structures2007

    • 著者名/発表者名
      池田 宏一郎
    • 雑誌名

      京都大学数理解析研究所講究録 1555

      ページ: 104-109

    • 関連する報告書
      2007 実績報告書
  • [雑誌論文] On generic structures with a strong amalgamation property

    • 著者名/発表者名
      池田宏一郎
    • 雑誌名

      Journal of Symbolic Logic (掲載確定)

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] ジェネリック構造の飽和性と安定性

    • 著者名/発表者名
      池田宏一郎
    • 雑誌名

      数理解析研究所講究録 (掲載確定)

    • 関連する報告書
      2008 実績報告書
  • [学会発表] 超安定なgeneric構造2010

    • 著者名/発表者名
      池田宏一郎
    • 学会等名
      日本数学会秋季総合分科会
    • 発表場所
      名古屋大学東山キャンパス
    • 年月日
      2010-09-22
    • 関連する報告書
      2009 研究成果報告書
  • [学会発表] 超均質性について2010

    • 著者名/発表者名
      池田宏一郎
    • 学会等名
      モデル理論夏の学校2010
    • 発表場所
      聖徳大学
    • 年月日
      2010-08-27
    • 関連する報告書
      2009 研究成果報告書
  • [学会発表] A remark on ab initio generic structures2010

    • 著者名/発表者名
      池田宏一郎
    • 学会等名
      2010 Model Theory Conference in Seoul
    • 発表場所
      招待講演 Yonsei University
    • 年月日
      2010-05-20
    • 関連する報告書
      2009 研究成果報告書
  • [学会発表] Stability spectrum of ab initio generic structures2010

    • 著者名/発表者名
      池田宏一郎
    • 学会等名
      Model Theory Kirishima 2010
    • 発表場所
      招待講演 旅行人山荘
    • 年月日
      2010-03-05
    • 関連する報告書
      2009 研究成果報告書
  • [学会発表] Stability spectrum of ab initio generic structures2010

    • 著者名/発表者名
      池田宏一郎
    • 学会等名
      Model Theory Kirishima 2010
    • 発表場所
      旅行人山荘
    • 年月日
      2010-03-05
    • 関連する報告書
      2009 実績報告書
  • [学会発表] 安定性理論とジェネリック構成法2009

    • 著者名/発表者名
      池田宏一郎
    • 学会等名
      「モデル理論とその周辺」研究集会
    • 発表場所
      神戸大学
    • 年月日
      2009-11-28
    • 関連する報告書
      2009 研究成果報告書
  • [学会発表] Baldwinの予想について2009

    • 著者名/発表者名
      池田宏一郎
    • 学会等名
      2009年度日本数学会秋季総合分科会
    • 発表場所
      大阪大学豊中キャンパス
    • 年月日
      2009-09-27
    • 関連する報告書
      2009 研究成果報告書
  • [学会発表] A note on Herwig's example2009

    • 著者名/発表者名
      池田宏一郎
    • 学会等名
      2009年度モデル理論サマースクール
    • 発表場所
      和歌山市民会館
    • 年月日
      2009-08-28
    • 関連する報告書
      2009 研究成果報告書
  • [学会発表] On Baldwin's problem2009

    • 著者名/発表者名
      池田宏一郎
    • 学会等名
      Model Theory Afternoon with John Baldwin
    • 発表場所
      東海大学代々木校舎
    • 年月日
      2009-07-01
    • 関連する報告書
      2009 研究成果報告書
  • [学会発表] 可算言語におけるジェネリック構造2009

    • 著者名/発表者名
      池田宏一郎
    • 学会等名
      鹿児島モデル理論研究集会
    • 発表場所
      鹿児島国際大学
    • 年月日
      2009-02-23
    • 関連する報告書
      2009 研究成果報告書 2008 実績報告書
  • [学会発表] On generic structures closed under subgraphs and free amalgamation2008

    • 著者名/発表者名
      池田宏一郎
    • 学会等名
      RIMS研究集会「モデル理論とその代数への応用」
    • 発表場所
      京都大学数理解析研究所
    • 年月日
      2008-11-11
    • 関連する報告書
      2009 研究成果報告書
  • [学会発表] On generic structures under subgraphs and free amalgamation2008

    • 著者名/発表者名
      池田宏一郎
    • 学会等名
      RIMS研究集会「モデル理論とその代数への応用」
    • 発表場所
      京都大学数理解析研究所
    • 年月日
      2008-11-11
    • 関連する報告書
      2008 実績報告書
  • [学会発表] On saturated generic structures2008

    • 著者名/発表者名
      池田宏一郎
    • 学会等名
      The 10th Asian Logic Conference
    • 発表場所
      招待講演 Kobe University
    • 年月日
      2008-09-06
    • 関連する報告書
      2009 研究成果報告書
  • [学会発表] On saturated generic structures2008

    • 著者名/発表者名
      池田宏一郎
    • 学会等名
      The 10^<th> Asian Logic Conference
    • 発表場所
      神戸大学
    • 年月日
      2008-09-06
    • 関連する報告書
      2008 実績報告書
  • [学会発表] A note on saturated generic structures2008

    • 著者名/発表者名
      池田宏一郎
    • 学会等名
      Model Theory Summer Meeting 2008
    • 発表場所
      東海大学代々木キャンパス
    • 年月日
      2008-08-08
    • 関連する報告書
      2009 研究成果報告書
  • [学会発表] A note on saturated generic structures2008

    • 著者名/発表者名
      池田宏一郎
    • 学会等名
      Model Theory Summer Meeting 2008
    • 発表場所
      東海大学
    • 年月日
      2008-08-08
    • 関連する報告書
      2008 実績報告書
  • [学会発表] 自己同型写像の融合可能性について2008

    • 著者名/発表者名
      池田宏一郎, 桔梗宏孝
    • 学会等名
      日本数学会年会
    • 発表場所
      近畿大学
    • 年月日
      2008-03-26
    • 関連する報告書
      2009 研究成果報告書
  • [学会発表] On random Kripke frames2007

    • 著者名/発表者名
      池田宏一郎, 岡本圭史
    • 学会等名
      RIMS共同研究「モデル理論の手法による無限構造の構成法」
    • 発表場所
      京都大学数理解析研究所
    • 年月日
      2007-11-01
    • 関連する報告書
      2009 研究成果報告書
  • [学会発表] On generic Kripke structures2007

    • 著者名/発表者名
      池田宏一郎, 岡本圭史
    • 学会等名
      RIMS共同研究「モデル理論の手法による無限構造の構成法」
    • 発表場所
      京都大学数理解析研究所
    • 年月日
      2007-11-01
    • 関連する報告書
      2009 研究成果報告書
  • [学会発表] Some remarks on generic structures2007

    • 著者名/発表者名
      池田宏一郎
    • 学会等名
      RIMS共同研究「モデル理論の手法による無限構造の構成法」
    • 発表場所
      京都大学数理解析研究所
    • 年月日
      2007-10-30
    • 関連する報告書
      2009 研究成果報告書
  • [学会発表] Generic構造におけるforkingの特徴づけ2007

    • 著者名/発表者名
      池田宏一郎
    • 学会等名
      日本数学会
    • 発表場所
      東北大学
    • 年月日
      2007-09-23
    • 関連する報告書
      2009 研究成果報告書
  • [学会発表] Characterizing forking on generic structures2007

    • 著者名/発表者名
      池田宏一郎
    • 学会等名
      Model Theory Summer Meeting in Tsukuba 2007
    • 発表場所
      筑波大学
    • 年月日
      2007-08-07
    • 関連する報告書
      2009 研究成果報告書
  • [学会発表] A remark on a characterization of non-forking in generic structures2007

    • 著者名/発表者名
      池田宏一郎
    • 学会等名
      Logic Colloquium 2007
    • 発表場所
      Wroclaw University, Poland
    • 年月日
      2007-07-18
    • 関連する報告書
      2009 研究成果報告書
  • [学会発表] A remark on a characterization of non-forking in generic structures2007

    • 著者名/発表者名
      池田 宏一郎
    • 学会等名
      Logic Colloquium2007
    • 発表場所
      ポーランド
    • 年月日
      2007-07-18
    • 関連する報告書
      2007 実績報告書

URL: 

公開日: 2007-04-01   更新日: 2016-04-21  

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

Powered by NII kakenhi