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

2016 年度 研究成果報告書

モデル理論における新たな構成法の研究

研究課題

  • PDF
研究課題/領域番号 26400191
研究種目

基盤研究(C)

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

研究代表者

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

連携研究者 坪井 明人  筑波大学, 数理物質科学研究科, 教授 (30180045)
桔梗 宏孝  神戸大学, 工学研究科, 教授 (80204824)
研究協力者 BALDWIN John T  
WAGNER Frank O.  
研究期間 (年度) 2014-04-01 – 2017-03-31
キーワードモデル理論 / ジェネリック構造 / 安定性理論
研究成果の概要

本研究では,モデル理論における重要な研究対象であるジェネリック構造について調べ,いくつかの結果を得ることができた.まず,ほとんどすべてのジェネリック構造は準モデル完全性をもつことを証明した.また,ジェネリック構造の中にはモデル完全性をもたない例もあるが,どのようなジェネリック構造がモデル完全性をもつかを示す特徴付け定理を得ることができた.さらに,全融合性をもつジェネリック構造は常に安定であることを証明することができた.

自由記述の分野

数学

URL: 

公開日: 2018-03-22  

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

Powered by NII kakenhi