课题基金 / 基金详情

The start-up for reverse mathematics from various angles

The start-up for reverse mathematics from various angles
不同角度逆向数学的初创
批准号:
25887026
负责人:
YOKOYAMA Keita
金额:
$1.75万
依托单位国家:
日本
项目类别:
Grant-in-Aid for Research Activity Start-up
财政年份:
2013
资助国家:
日本
项目状态:
已结题
起止时间:
2013-08-30 至 2015-03-31

项目摘要

项目成果

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(13)
专著(0)
科研奖励(0)
会议论文
On the Ramseyan factorization theorem
关于拉姆齐因式分解定理
DOI: 10.1007/978-3-319-08019-2_33
发表时间: 2014
期刊: Lecture Notes in Computer Science
影响因子: --
作者: [S.Murakami, T.Yamazaki and K.Yokoyama]
通讯作者: T.Yamazaki and K.Yokoyama
DOI: --
发表时间: 2015
期刊:
影响因子: --
作者: [Stephen G. Simpson and Keita, Yokoyama, Keita Yokoyama]
通讯作者: Keita Yokoyama
Reverse mathematics and termination analysis
逆向数学和终止分析
DOI: --
发表时间: 2015
期刊:
影响因子: --
作者: [Stephen G. Simpson and Keita, Yokoyama, Keita Yokoyama, Keita Yokoyama]
通讯作者: Keita Yokoyama
The strength of Ramsey’s theorem from several different view points
从几个不同角度看拉姆齐定理的强度
DOI: --
发表时间: 2014
期刊:
影响因子: --
作者: [Stephen G. Simpson and Keita, Yokoyama, Keita Yokoyama, Keita Yokoyama, Keita Yokoyama, Keita Yokoyama, Keita Yokoyama, Keita Yokoyama]
通讯作者: Keita Yokoyama
12