| Project/Area Number |
19K03599
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Multi-year Fund |
|---|
| Section | 一般 |
|---|
| Review Section |
Basic Section 12030:Basic mathematics-related
|
|---|
| Research Institution | The University of Tokyo |
|---|
Principal Investigator |
新井 敏康 東京大学, 大学院数理科学研究科, 教授 (40193049)
|
|---|
| Project Period (FY) |
2019-04-01 – 2024-03-31
|
| Project Status |
Granted (Fiscal Year 2022)
|
| Budget Amount *help |
¥2,730,000 (Direct Cost: ¥2,100,000、Indirect Cost: ¥630,000)
Fiscal Year 2022: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2021: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2020: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2019: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
|
|---|
| Keywords | 証明論 / 順序数解析 / 整列性 |
|---|
| Outline of Research at the Start |
整列性というのは、再帰的定義の基本となる原理である。最も簡単なのが自然数の順序だがそれをより大きい順序へ拡張したのが整列順序である。
この整列順序の型が順序数と呼ばれる。順序数解析はこの順序数を通じて、公理系に潜む原理を摘出することをしている。今回の研究は、この順序数解析の道具である順序数そのものに焦点を当てて、それを公理系として捉えて、順序数によりこの公理系を分析する。
|
| Outline of Annual Research Achievements |
より強い集合論の証明論的研究を整列性の観点から順序数解析として行なった。
1階論理式を反映する順序数 first order reflecting ordinal 就中 任意と存在が入れ子に順番に４つ現れる論理式を反映する順序数の順序数解析は、その一つ手前の任意と存在が入れ子に順番に３つ現れる論理式を反映する順序数の順序数解析よりも真に困難を伴う。後者の順序数解析はM. Rathjenにより得られているが、その拡張を行なった。さらに任意が集合を走る論理式を反映する順序数の順序数解析は、次の再帰的正則順序数 recursively regular ordinal に対して、存在が一つだけある論理式が絶対的になるような順序数 stable ordinal である。この順序数の順序数解析を両側から行なった。すなわち証明論的順序数の上界を作用素によって統御される証明 operator controlled derivation を通じて与えて、逆に、下界を与えるためにW. Buchholzによるdistinguished classを用いて整列性を示した。さらにstable ordinalの上に任意有限個のrecursively regular ordinals がある集合論、すなわちパラメタの無い存在が一つだけある論理式によって定義されたある集合の部分クラスが集合になるという公理を満たす集合論の順序数解析を行なった。こちらの整列性の証明は論文として発表し、また上界の証明を含む論文は現在、投稿中である。そして任意が一つだけある論理式による集積公理 collection axiomによる集合論の順序数解析をこちらも両側から行なった。
これらの結果をGhent 大学数学科でのmini-courseで発表した。
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
コロナ禍により在宅で研究する時間が増え、また海外への出張ができなかったので研究する時間が確保され、落ち着いて考えることができたので、想定していた程度には研究が進捗した。
|
| Strategy for Future Research Activity |
任意が一つだけある論理式による集積公理 collection axiomによる集合論の順序数解析を両側から行なったが、この経験から任意の1階論理式に対する集積公理による集合論の順序数解析を行う。他方で得られた順序数体系の整列性証明を2階算術において行う。
|
Report
(4 results)
Research Products
(13 results)
