2022 Fiscal Year Research-status Report
| Project/Area Number |
20K03725
|
|---|
| Research Institution | Hosei University |
|---|
Principal Investigator |
池田 宏一郎 法政大学, 経営学部, 教授 (60332029)
|
|---|
| Project Period (FY) |
2020-04-01 – 2024-03-31
|
| Keywords | モデル理論 / ジェネリック構造 / Lachlan予想 |
|---|
| Outline of Annual Research Achievements |
本研究の目的はLachlan予想の解決に一歩でも近づくことにある．具体的には，ジェネリック構成法と呼ばれる方法を用いて，可算モデルの個数が有限である安定構造を作りたい．そのためにはジェネリック構造の詳しい解析が必要となる．そこで2022年6月にRIMS研究集会において「Hrushovskiの構成法」というタイトルで，ジェネリック構成法の様々な可能性についての講演を行った．講演の内容をまとめた論文「Hrushovskiの強極小構造」は同年に京都大学数理解析研究所講究録として出版された．さらに2022年8月にモデル理論夏の研究集会2022において「A note on omega-categorical generic structures」というタイトルの講演を行い，次元の係数のインデックスが無限のとき，ジェネリック構造は真に安定で可算範疇的になることを示した．また，ジェネリック構成法に関連して，2022年9月には数学基礎論サマースクールにおいて「0-1法則とモデル理論」というタイトルで連続講演を行った．これらの解析の下，すでに知られているジェネリック構造の例を調べた結果、共通して「代数的な元は次元が０」という性質をもっていることがわかった。そこでその性質をもっているジェネリック構造を正則構造と名付け、2022年9月に日本数学会秋季総合分科会において「On regular generic structures」というタイトルの講演を行い，正則ジェネリック構造がもつ様々な性質について発表した．
|
| Current Status of Research Progress |
Current Status of Research Progress
3: Progress in research has been slightly delayed.
Reason
2022年度は本来は本研究の最終年度であり，国内外の研究者と研究打合せを行うことで今までの研究結果を精査し，国際研究集会でその成果を発表する予定であった．しかしながら，コロナ禍の影響で対面による研究集会は激減し，計画していた研究打合せや成果発表の予定を大幅に変更せざるを得なかった．代替措置として，オンラインによる研究打合せや研究発表を行い，研究の遅れは多少取り戻せたが，最終的には研究期間を１年延長し，2023年度に本研究の総括を行うこととした．
|
| Strategy for Future Research Activity |
今年度が本研究の最終年度となる．海外の研究者との研究交流のため，８月にイタリアで開催されるLogic colloquium2023 で研究打合せおよび研究発表を行う予定である．また，８月に開催されるモデル理論研究集会に参加し，国内の研究者と研究打合せおよび研究発表を行う．さらに８月に韓国の延世大学で開催されるモデル理論の国際研究集会でByunham Kim氏と研究打合せを行う．最後に１２月に開催されるRIMS研究集会で本研究の総括となる研究発表を行い，研究成果の意義について参加者からの客観的な意見を集めたい．
|
| Causes of Carryover |
コロナ禍の影響より，当初予定していた国内外の研究参加が見送られたため．今年度は夏に開催される国際研究集会および国内研究集会に参加するために研究費を使用する予定である．
|
