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

ジェネリック構成法の研究

研究課題

研究課題/領域番号 17K05350
研究種目

基盤研究(C)

配分区分基金
応募区分一般
研究分野 数学基礎・応用数学
研究機関法政大学

研究代表者

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

研究期間 (年度) 2017-04-01 – 2020-03-31
研究課題ステータス 完了 (2019年度)
配分額 *注記
2,600千円 (直接経費: 2,000千円、間接経費: 600千円)
2019年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2018年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2017年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
キーワードモデル理論 / ジェネリック構造 / 安定性理論 / 数学基礎論
研究成果の概要

本研究では,Lachlan予想の反例が持つべき条件を調べた.この予想の反例が存在するならば,special typeをもつ非可算範疇的理論でなければならない.この条件を満たす理論の存在は知られていたが,その例を改良したことで,条件を満たすgeneric構造を作ることができた.
ホログラフィック構造とは,可算範疇性を弱めた構造である.可算範疇的でないホログラフィック構造として,体から作られた構造がある.可算範疇的でないホログラフィック構造として体を定義できないものがないかという問題があったが,ジェネリック構成法により,この問題を肯定的に解決することができた.

研究成果の学術的意義や社会的意義

Lachlan予想はモデル理論においてよく知られた予想であるが,約50年前のものであり,現在はこの予想を研究対象にしている研究者は少ない.しかし,モデル理論の発展とともに新たな道具が開発されており,この古い予想にうまく適用できるのではないかと考えた.まだ研究は半ばであるが,少しずつ解決に近づいていると考える.

報告書

(4件)
  • 2019 実績報告書   研究成果報告書 ( PDF )
  • 2018 実施状況報告書
  • 2017 実施状況報告書
  • 研究成果

    (17件)

すべて 2019 2018 2017

すべて 雑誌論文 (4件) (うち査読あり 1件) 学会発表 (13件) (うち国際学会 4件、 招待講演 3件)

  • [雑誌論文] On stable theories with a special type2019

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

      14th & 15th Asian Logic Conference Proceedings, World Scientific

      巻: なし ページ: 168-174

    • 関連する報告書
      2019 実績報告書 2018 実施状況報告書
    • 査読あり
  • [雑誌論文] A note on strictly stable generic structures2019

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

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

      巻: 2119 ページ: 17-22

    • 関連する報告書
      2019 実績報告書 2018 実施状況報告書
  • [雑誌論文] Small stable theories with the tree property2018

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

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

      巻: 2079 ページ: 13-20

    • 関連する報告書
      2018 実施状況報告書 2017 実施状況報告書
  • [雑誌論文] On small theories with a special type2018

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

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

      巻: 2084 ページ: 10-20

    • 関連する報告書
      2018 実施状況報告書
  • [学会発表] On weak oligomorphic structures2019

    • 著者名/発表者名
      Koichiro Ikeda
    • 学会等名
      RIMS共同研究(公開型)「モデル理論における独立概念と次元の研究」
    • 関連する報告書
      2019 実績報告書
    • 国際学会
  • [学会発表] On weakly oligomorphic graphs2019

    • 著者名/発表者名
      池田宏一郎
    • 学会等名
      組合せ論・モデル理論セミナー,神戸大学六甲台第2キャンパス
    • 関連する報告書
      2019 実績報告書
    • 招待講演
  • [学会発表] ジェネリック構造の超安定性について2019

    • 著者名/発表者名
      池田宏一郎
    • 学会等名
      日本数学会秋季総合分科会,金沢大学角間キャンパス
    • 関連する報告書
      2019 実績報告書
  • [学会発表] Sudoplatov's examples2019

    • 著者名/発表者名
      池田宏一郎
    • 学会等名
      モデル理論夏の学校,東海大学セミナーハウス
    • 関連する報告書
      2019 実績報告書
  • [学会発表] On strictly stable generic structures2018

    • 著者名/発表者名
      Koichiro Ikeda
    • 学会等名
      RIMS共同研究(公開型)「モデル理論における独立概念と次元の研究」
    • 関連する報告書
      2018 実施状況報告書
  • [学会発表] 真に安定なジェネリック構造について2018

    • 著者名/発表者名
      池田宏一郎
    • 学会等名
      日本数学会秋季総合分科会
    • 関連する報告書
      2018 実施状況報告書
  • [学会発表] Some variant of Hrushovski's pseudoplane2018

    • 著者名/発表者名
      池田宏一郎
    • 学会等名
      モデル理論サマースクール
    • 関連する報告書
      2018 実施状況報告書
  • [学会発表] On a Fraisse-style construction of a countable universal homogeneous graph2018

    • 著者名/発表者名
      Koichiro Ikeda
    • 学会等名
      JCCA2018
    • 関連する報告書
      2018 実施状況報告書
  • [学会発表] On stable theories with a special type2017

    • 著者名/発表者名
      Koichiro Ikeda
    • 学会等名
      RIMS研究集会「モデル理論における独立概念と次元の研究」
    • 関連する報告書
      2017 実施状況報告書
  • [学会発表] Ehrenfeucht理論に関する注意2017

    • 著者名/発表者名
      池田宏一郎
    • 学会等名
      日本数学会秋季総合分科会
    • 関連する報告書
      2017 実施状況報告書
  • [学会発表] A note on small stable theories2017

    • 著者名/発表者名
      Koichiro Ikeda
    • 学会等名
      Logic colloquium 2017
    • 関連する報告書
      2017 実施状況報告書
    • 国際学会
  • [学会発表] On generic structures with a special type2017

    • 著者名/発表者名
      Koichiro Ikeda
    • 学会等名
      15th Asian Logic Conference
    • 関連する報告書
      2017 実施状況報告書
    • 国際学会 / 招待講演
  • [学会発表] A remark on small stable theories2017

    • 著者名/発表者名
      Koichiro Ikeda
    • 学会等名
      Model theory workshop in Shanghai
    • 関連する報告書
      2017 実施状況報告書
    • 国際学会 / 招待講演

URL: 

公開日: 2017-04-28   更新日: 2021-02-19  

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

Powered by NII kakenhi