研究課題
基盤研究(C)
構成的逆数学における未解決問題の単調完備定理、2進展開定理、中間値の定理を部分的に解決した。単調完備定理はLPO、弱い帰納法およびある種の選択公理と同値に、2進展開定理、中間値の定理は凸性を持つ木構造に対するWKLと同値になることが分かった。これらの結果は構成的集合論の部分体系でも成り立つ。すでに構成的解析体系への解釈が確立している演算の体系APPを中間的な体系として選び、集合論をAPPで解釈する手法を提案した。空集合の公理、非順序対の公理、無限の公理、弱い分出公理を解釈するために十分なAPPでの公理を明らかにした。また、外延性の公理を解釈するために十分なAPPの公理についてもめどが立った。
すべて 2014 2013 2012 2011 その他
すべて 雑誌論文 (6件) (うち査読あり 6件) 学会発表 (13件) (うち招待講演 4件) 備考 (1件)
MLQ Math. Log. Q
巻: 59 ページ: 352-356
Ann. Pure Appl. Logic
巻: 164 ページ: 482-490
120005296336
In: U. Berger, H. Diener, P. Schuster and M. Seisenberger eds., Logic, Construction, Computation, Ontos Verlag, Frankfurt
ページ: 289-304
Log. Methods Comput. Sci
巻: (to appear)
Math. Structures Comput. Sci
http://www.jaist.ac.jp/logic/