2010 Fiscal Year Annual Research Report
圏論等の概念的手法に基づく、数理論理学の、諸分科間の有機的関連による研究
| Project/Area Number |
08J01064
|
|---|
| Research Institution | Kobe University |
|---|
Principal Investigator |
佐藤 憲太郎 神戸大学, システム情報学研究科, 特別研究員(PD)
|
|---|
| Keywords | 外延性公理 / 弱い集合論 / 無限公理 / 巨大基数公理 / 二階集合論 / グラフ的集合観 / 双模倣 / 相対化可述主義 |
|---|
| Research Abstract |
昨年度に引き続き、双模倣の概念を用いての非常に弱い集合論の分析を継続した。非常に弱い集合論において無限集合の存在を保証する無限公理を採用しないものに関する論文は、昨年度の初めに学術誌に投稿してあったが、一年半の査読期間を経て本年度の最後に出版されるに至った(研究発表の雑誌論文の項目に記載)。無限公理を採用した場合の分析は、一昨年度に既に出版された論文で行っており、両者の比較により、様々な数学的命題の論理的な強さのなす数学的構造に対する無限公理の与える影響を明確に見て取ることができるようになった。尚、この二論文の合計は、モノグラフとしても決して短くなく、媒体の学術誌はモノグラフの発表の場をも標榜しており、特別研究員の採用中にモノグラフを一つ発表したといえるかも知れない。発表に至る前段階の研究活動として本年度は、上記の無限公理の影響の研究に引き続き、より大きな無限集合の存在を保証した公理(巨大基数公理)の影響の研究を行った。技術的には、この研究は二階集合論或いは類理論の研究と密接に結びついており、二階集合論の研究を行っているスイス連邦のベルン大学の研究グループに二度に亙って長期に滞在し、共同研究を行った。こうした研究では、単なる無限公理の影響の研究に結びつく二階算術の研究との類推が成り立ち、それを参考に研究を進めることになるが、二階算術との類推が大きく壊れる例が、重要なものの中にもあることが分かってきた。これらの結果は、平成23年に開催される幾つかの学会・研究集会等で発表する予定であり、また学術誌への投稿も準備している段階である。更にその過程で、可述主義に関する数理哲学の問題に大きく関わる数学的結果も発見されるなど、研究課題の採択時点では予想もできなかった程に、様々な研究テーマとの関連が見出されている。
|
Research Products
(1 results)
