研究課題
基盤研究(B)
従来の帰納的巨大順序数の公理系の帰納的順序数による証明論的研究に含まれる技法と構成方法を精査し、それらが当該の帰納的巨大順序数がそれの帰納的類似物たる巨大基数の証明論的解析に転用できることを、スコーレム関数を証明図の解析と順序数の表示の双方に導入することで示していく。これは、対象とする巨大基数が大きくなればなるほど技術的に困難になるであろうが、帰納的巨大順序数の公理系の帰納的順序数による証明論的研究における経験から考えて乗り越えることができない障壁ではない。更に、構成可能性公理V=L と矛盾する巨大基数(例:可測基数)へと研究対象を広げていく。
すべて 2011 2010 2009 2008 その他
すべて 雑誌論文 (5件) (うち査読あり 5件) 学会発表 (5件) 図書 (1件) 備考 (1件)
Annals of Pure and Applied Logic vol.162
ページ: 107-143
Proofs, Categories and Computations
ページ: 1-14
Proceedings of the thirteenth International Congress of Logic Methodology, Philosophy of Science
ページ: 21-35
Mathematical Logic Quarterly vol.6
ページ: 629-640
Prcceedings of the Japan Academy, Ser.A vol.84
ページ: 159-161
http://researchmap.jp/tosarai/