研究課題
基盤研究(B)
主として集合論の公理系を証明論的に研究した。集合論は数学がよっ て立つ基盤であり、そこでの証明を何回、どのような操作を繰り返して分析できるのかを考察 した。集合の公理とは集合に関して正しいと現在考えられている命題の集まりを指す。証明は 集合論に限らず、数学では欠くことのできない行為である。そのような数学での基礎的な対象 について知見を深めた。
すべて 2013 2012 2011 2010 2009 2008 その他
すべて 雑誌論文 (12件) (うち査読あり 12件) 学会発表 (21件) 図書 (2件) 備考 (1件)
Annals of the Japan Association for Philosophy of Science
巻: 20 ページ: 29-47
Proceedings of the 11th Asian Logic Conference, World Scientific
ページ: 1-21
Annals of Pure and Applied Logic
巻: 162 ページ: 807-815
Archive for Mathematical Logic
巻: 50 ページ: 445-458
巻: 50 ページ: 395-409
巻: 162 ページ: 107-143
Proofs, Categories and Computations, College Publications
ページ: 1-14
Proceedings of the thirteenth International Congress of Logic Methodology, Philosophy of Science, College Publications
ページ: 21-35
ACM Transactions on Computational Logic
巻: 10 ページ: 1-18
Mathematical Logic Quarterly
巻: 6 ページ: 629-640
Proceedings of the Japan Academy, Ser. A
巻: 84 ページ: 159-161
Journal of Mathematical Logic
巻: (掲載決定)
http://researchmap.jp/tosarai