• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

A Study of the Model Theory of Random Graphs

Research Project

Project/Area Number 19540150
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeSingle-year Grants
Section一般
Research Field General mathematics (including Probability theory/Statistical mathematics)
Research InstitutionHosei University

Principal Investigator

IKEDA Koichiro  Hosei University, 経営学部, 教授 (60332029)

Co-Investigator(Kenkyū-buntansha) TSUBOI Akito  筑波大学, 数理物質科学研究科, 教授 (30180045)
KIKYO Hirotaka  神戸大学, 工学研究科, 教授 (80204824)
Project Period (FY) 2007 – 2009
Project Status Completed (Fiscal Year 2009)
Budget Amount *help
¥2,860,000 (Direct Cost: ¥2,200,000、Indirect Cost: ¥660,000)
Fiscal Year 2009: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2008: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2007: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Keywords数学基礎論 / モデル理論 / ランダムグラフ / ジェネリック構造 / 安定性理論 / Lachlan予想 / ω安定 / 超安定 / Generic構造 / Zero-one law
Research Abstract

Our aim is to study generic structures as a generalization of random graphs, and moreover to construct a counter-example of Lachlan conjecture using the generic construction. One of our results is a theorem which gave a solution of Baldwin's problem. Another is a theorem which proved that it was difficult to construct a counter-example of Lachlan conjecture using the generic construction.

Report

(4 results)
  • 2009 Annual Research Report   Final Research Report ( PDF )
  • 2008 Annual Research Report
  • 2007 Annual Research Report
  • Research Products

    (42 results)

All 2011 2010 2009 2008 2007 Other

All Journal Article (18 results) (of which Peer Reviewed: 7 results) Presentation (24 results)

  • [Journal Article] ジェネリック構造の飽和性と安定性2011

    • Author(s)
      池田宏一郎
    • Journal Title

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

    • Related Report
      2009 Final Research Report
  • [Journal Article] On superstable generic structures2011

    • Author(s)
      池田宏一郎
    • Journal Title

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

    • Related Report
      2009 Final Research Report
  • [Journal Article] A note on stability spectrum of generic structures2010

    • Author(s)
      Y. Anbo, 池田宏一郎
    • Journal Title

      Mathematical Logic Quarterly 56

      Pages: 257-261

    • Related Report
      2009 Final Research Report
    • Peer Reviewed
  • [Journal Article] A remark on generic structures and the number of countable models2010

    • Author(s)
      池田宏一郎
    • Journal Title

      Proceedings of the 10th Asian logic conference, World Scientific

      Pages: 214-226

    • Related Report
      2009 Final Research Report
    • Peer Reviewed
  • [Journal Article] A remark on generic structures and the number of countable models2010

    • Author(s)
      Koichiro Ikeda
    • Journal Title

      Proceedings of the 10th Asian logic conference

      Pages: 214-226

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] A note on stability spectrum of generic structures2010

    • Author(s)
      Y.Anbo, K.Ikeda
    • Journal Title

      Mathematical Logic Quarterlyに掲載確定 56巻

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] On generic structures with a strong amalgamation property2009

    • Author(s)
      池田宏一郎, H. Kikyo, A. Tsuboi
    • Journal Title

      journal of Symbolic Logic 74

      Pages: 721-733

    • Related Report
      2009 Final Research Report
    • Peer Reviewed
  • [Journal Article] On generic structures with a strong amalgamation property2009

    • Author(s)
      K.Ikeda, H.Kikyo, A.Tsuboi
    • Journal Title

      Journal of Symboloc Logic 74巻

      Pages: 721-733

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] A note on independence in generic structures2008

    • Author(s)
      池田宏一郎
    • Journal Title

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

      Pages: 22-25

    • Related Report
      2009 Final Research Report
  • [Journal Article] On generic Kripke structures2008

    • Author(s)
      池田宏一郎, 岡本圭史
    • Journal Title

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

      Pages: 85-89

    • Related Report
      2009 Final Research Report
  • [Journal Article] On random Kripke frames2008

    • Author(s)
      池田宏一郎, 岡本圭史
    • Journal Title

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

      Pages: 74-84

    • Related Report
      2009 Final Research Report
  • [Journal Article] On random Kripke frames2008

    • Author(s)
      池田宏一郎
    • Journal Title

      数理解析研究所講究録 1602

      Pages: 74-84

    • Related Report
      2008 Annual Research Report
  • [Journal Article] On generic Kripke structures2008

    • Author(s)
      池田宏一郎
    • Journal Title

      数理解析研究所講究録 1602

      Pages: 85-89

    • Related Report
      2008 Annual Research Report
  • [Journal Article] A note on independence in generic structures2008

    • Author(s)
      池田宏一郎
    • Journal Title

      数理解析研究所講究録 1602

      Pages: 22-25

    • Related Report
      2008 Annual Research Report
  • [Journal Article] A note on stability spectrum of generic structures2007

    • Author(s)
      池田宏一郎
    • Journal Title

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

      Pages: 104-109

    • Related Report
      2009 Final Research Report
  • [Journal Article] A note on stability spectrum of generic structures2007

    • Author(s)
      池田 宏一郎
    • Journal Title

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

      Pages: 104-109

    • Related Report
      2007 Annual Research Report
  • [Journal Article] On generic structures with a strong amalgamation property

    • Author(s)
      池田宏一郎
    • Journal Title

      Journal of Symbolic Logic (掲載確定)

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Journal Article] ジェネリック構造の飽和性と安定性

    • Author(s)
      池田宏一郎
    • Journal Title

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

    • Related Report
      2008 Annual Research Report
  • [Presentation] 超安定なgeneric構造2010

    • Author(s)
      池田宏一郎
    • Organizer
      日本数学会秋季総合分科会
    • Place of Presentation
      名古屋大学東山キャンパス
    • Year and Date
      2010-09-22
    • Related Report
      2009 Final Research Report
  • [Presentation] 超均質性について2010

    • Author(s)
      池田宏一郎
    • Organizer
      モデル理論夏の学校2010
    • Place of Presentation
      聖徳大学
    • Year and Date
      2010-08-27
    • Related Report
      2009 Final Research Report
  • [Presentation] A remark on ab initio generic structures2010

    • Author(s)
      池田宏一郎
    • Organizer
      2010 Model Theory Conference in Seoul
    • Place of Presentation
      招待講演 Yonsei University
    • Year and Date
      2010-05-20
    • Related Report
      2009 Final Research Report
  • [Presentation] Stability spectrum of ab initio generic structures2010

    • Author(s)
      池田宏一郎
    • Organizer
      Model Theory Kirishima 2010
    • Place of Presentation
      招待講演 旅行人山荘
    • Year and Date
      2010-03-05
    • Related Report
      2009 Final Research Report
  • [Presentation] Stability spectrum of ab initio generic structures2010

    • Author(s)
      池田宏一郎
    • Organizer
      Model Theory Kirishima 2010
    • Place of Presentation
      旅行人山荘
    • Year and Date
      2010-03-05
    • Related Report
      2009 Annual Research Report
  • [Presentation] 安定性理論とジェネリック構成法2009

    • Author(s)
      池田宏一郎
    • Organizer
      「モデル理論とその周辺」研究集会
    • Place of Presentation
      神戸大学
    • Year and Date
      2009-11-28
    • Related Report
      2009 Final Research Report
  • [Presentation] Baldwinの予想について2009

    • Author(s)
      池田宏一郎
    • Organizer
      2009年度日本数学会秋季総合分科会
    • Place of Presentation
      大阪大学豊中キャンパス
    • Year and Date
      2009-09-27
    • Related Report
      2009 Final Research Report
  • [Presentation] A note on Herwig's example2009

    • Author(s)
      池田宏一郎
    • Organizer
      2009年度モデル理論サマースクール
    • Place of Presentation
      和歌山市民会館
    • Year and Date
      2009-08-28
    • Related Report
      2009 Final Research Report
  • [Presentation] On Baldwin's problem2009

    • Author(s)
      池田宏一郎
    • Organizer
      Model Theory Afternoon with John Baldwin
    • Place of Presentation
      東海大学代々木校舎
    • Year and Date
      2009-07-01
    • Related Report
      2009 Final Research Report
  • [Presentation] 可算言語におけるジェネリック構造2009

    • Author(s)
      池田宏一郎
    • Organizer
      鹿児島モデル理論研究集会
    • Place of Presentation
      鹿児島国際大学
    • Year and Date
      2009-02-23
    • Related Report
      2009 Final Research Report 2008 Annual Research Report
  • [Presentation] On generic structures closed under subgraphs and free amalgamation2008

    • Author(s)
      池田宏一郎
    • Organizer
      RIMS研究集会「モデル理論とその代数への応用」
    • Place of Presentation
      京都大学数理解析研究所
    • Year and Date
      2008-11-11
    • Related Report
      2009 Final Research Report
  • [Presentation] On generic structures under subgraphs and free amalgamation2008

    • Author(s)
      池田宏一郎
    • Organizer
      RIMS研究集会「モデル理論とその代数への応用」
    • Place of Presentation
      京都大学数理解析研究所
    • Year and Date
      2008-11-11
    • Related Report
      2008 Annual Research Report
  • [Presentation] On saturated generic structures2008

    • Author(s)
      池田宏一郎
    • Organizer
      The 10th Asian Logic Conference
    • Place of Presentation
      招待講演 Kobe University
    • Year and Date
      2008-09-06
    • Related Report
      2009 Final Research Report
  • [Presentation] On saturated generic structures2008

    • Author(s)
      池田宏一郎
    • Organizer
      The 10^<th> Asian Logic Conference
    • Place of Presentation
      神戸大学
    • Year and Date
      2008-09-06
    • Related Report
      2008 Annual Research Report
  • [Presentation] A note on saturated generic structures2008

    • Author(s)
      池田宏一郎
    • Organizer
      Model Theory Summer Meeting 2008
    • Place of Presentation
      東海大学代々木キャンパス
    • Year and Date
      2008-08-08
    • Related Report
      2009 Final Research Report
  • [Presentation] A note on saturated generic structures2008

    • Author(s)
      池田宏一郎
    • Organizer
      Model Theory Summer Meeting 2008
    • Place of Presentation
      東海大学
    • Year and Date
      2008-08-08
    • Related Report
      2008 Annual Research Report
  • [Presentation] 自己同型写像の融合可能性について2008

    • Author(s)
      池田宏一郎, 桔梗宏孝
    • Organizer
      日本数学会年会
    • Place of Presentation
      近畿大学
    • Year and Date
      2008-03-26
    • Related Report
      2009 Final Research Report
  • [Presentation] On random Kripke frames2007

    • Author(s)
      池田宏一郎, 岡本圭史
    • Organizer
      RIMS共同研究「モデル理論の手法による無限構造の構成法」
    • Place of Presentation
      京都大学数理解析研究所
    • Year and Date
      2007-11-01
    • Related Report
      2009 Final Research Report
  • [Presentation] On generic Kripke structures2007

    • Author(s)
      池田宏一郎, 岡本圭史
    • Organizer
      RIMS共同研究「モデル理論の手法による無限構造の構成法」
    • Place of Presentation
      京都大学数理解析研究所
    • Year and Date
      2007-11-01
    • Related Report
      2009 Final Research Report
  • [Presentation] Some remarks on generic structures2007

    • Author(s)
      池田宏一郎
    • Organizer
      RIMS共同研究「モデル理論の手法による無限構造の構成法」
    • Place of Presentation
      京都大学数理解析研究所
    • Year and Date
      2007-10-30
    • Related Report
      2009 Final Research Report
  • [Presentation] Generic構造におけるforkingの特徴づけ2007

    • Author(s)
      池田宏一郎
    • Organizer
      日本数学会
    • Place of Presentation
      東北大学
    • Year and Date
      2007-09-23
    • Related Report
      2009 Final Research Report
  • [Presentation] Characterizing forking on generic structures2007

    • Author(s)
      池田宏一郎
    • Organizer
      Model Theory Summer Meeting in Tsukuba 2007
    • Place of Presentation
      筑波大学
    • Year and Date
      2007-08-07
    • Related Report
      2009 Final Research Report
  • [Presentation] A remark on a characterization of non-forking in generic structures2007

    • Author(s)
      池田宏一郎
    • Organizer
      Logic Colloquium 2007
    • Place of Presentation
      Wroclaw University, Poland
    • Year and Date
      2007-07-18
    • Related Report
      2009 Final Research Report
  • [Presentation] A remark on a characterization of non-forking in generic structures2007

    • Author(s)
      池田 宏一郎
    • Organizer
      Logic Colloquium2007
    • Place of Presentation
      ポーランド
    • Year and Date
      2007-07-18
    • Related Report
      2007 Annual Research Report

URL: 

Published: 2007-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi