「集合論」に関するサイレントキーワード「数理論理学」が含まれる科研費採択研究4件

【研究名】数学の哲学の新たな展開
【研究代表者】菊池 誠  神戸大学   システム情報学研究科   教授 	https://nrid.nii.ac.jp/ja/nrid/1000060273801/	 
【研究分担者】
岡本 賢吾  東京都立大学  人文科学研究科  教授  	https://nrid.nii.ac.jp/ja/nrid/1000000224072/	
岡田 光弘  慶應義塾大学  文学部(三田)  名誉教授  	https://nrid.nii.ac.jp/ja/nrid/1000030224025/	
三好 博之  京都産業大学  理学部  教授  	https://nrid.nii.ac.jp/ja/nrid/1000060286135/	

【研究名】強制法と巨大基数による集合論的位相空間論の深化
【研究代表者】嘉田 勝  大阪府立大学   理学(系)研究科(研究院)   准教授 	https://nrid.nii.ac.jp/ja/nrid/1000000312447/	
【研究連携者】     
吉信 康夫  名古屋大学  情報科学研究科  准教授  	https://nrid.nii.ac.jp/ja/nrid/1000090281063/	
友安 一夫  都城工業高等専門学校  一般科目  准教授  	https://nrid.nii.ac.jp/ja/nrid/1000010332107/	
渕野 昌  神戸大学  システム情報学研究科  教授  	https://nrid.nii.ac.jp/ja/nrid/1000030292098/	
薄葉 季路  早稲田大学  理工学術院  准教授  	https://nrid.nii.ac.jp/ja/nrid/1000010513632/	
【研究協力者】
岩佐 明  
加茂 静夫  
加藤 匠人  
静間 荘司   

【研究名】チャーチのラムダ計算のBCK論理による再生
【研究代表者】古森 雄一  千葉大学   総合メディア基盤センター   教授 	https://nrid.nii.ac.jp/ja/nrid/1000010022302/	 
【研究分担者】
櫻井 貴文 (桜井 貴文)  千葉大学  理学部  助教授  	https://nrid.nii.ac.jp/ja/nrid/1000060183373/	
山本 光晴  千葉大学  理学部  助教授  	https://nrid.nii.ac.jp/ja/nrid/1000000291295/	
廣川 左千男 (廣川 佐千男)  九州大学  情報基盤センター  教授  	https://nrid.nii.ac.jp/ja/nrid/1000040126785/	
藤田 憲悦  群馬大学  工学部  助教授  	https://nrid.nii.ac.jp/ja/nrid/1000030228994/	
鹿島 亮  東京工業大学  情報理工学研究科  助教授  	https://nrid.nii.ac.jp/ja/nrid/1000010240756/	
多田 充  千葉大学  総合メディア基盤センター  助教授  	https://nrid.nii.ac.jp/ja/nrid/1000020303331/	

【研究名】数理論理学の総合的研究
【研究代表者】上江洲 忠弘  東京理科大学   理学部   教授 	https://nrid.nii.ac.jp/ja/nrid/1000060015550/	 
【研究分担者】
白井 古希男  静岡大学  理学部  助教授  	https://nrid.nii.ac.jp/ja/nrid/1000070077915/	
梅沢 敏郎  静岡大学  理学部  教授  	https://nrid.nii.ac.jp/ja/nrid/1000040021919/	
江田 勝哉  筑波大学  数学系  助教授  	https://nrid.nii.ac.jp/ja/nrid/1000090015826/	
本橋 信義  筑波大学  数学系  教授  	https://nrid.nii.ac.jp/ja/nrid/1000070015874/	
西村 敏男  筑波大学  数学系  教授  	https://nrid.nii.ac.jp/ja/nrid/1000000015471/	
八杉 満利子  京都産業大学  理学部  教授  	https://nrid.nii.ac.jp/ja/nrid/1000090022277/	
難波 完爾  東京大学  教養学部  教授  	https://nrid.nii.ac.jp/ja/nrid/1000040015524/