The start-up for reverse mathematics from various angles

不同角度逆向数学的初创

• 批准号: 25887026
• 负责人: YOKOYAMA Keita
• 金额: $ 1.75万
• 依托单位: Japan Advanced Institute of Science and Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Research Activity Start-up
• 财政年份: 2013
• 资助国家: 日本
• 起止时间: 2013-08-30 至 2015-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-25887026/
• 关键词: 逆数学; ２階算術; 組み合わせ論; 証明論; 計算可能性理論; 数学基礎論; 2階算術

项目成果

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

What is needed to characterize the natural number system?

描述自然数系需要什么？

• 发表时间: 2015
• 作者: Stephen G. Simpson and Keita;Yokoyama;Keita Yokoyama
• 通讯作者: Keita Yokoyama

Reverse mathematics and termination analysis

逆向数学和终止分析

• 发表时间: 2015
• 作者: Stephen G. Simpson and Keita;Yokoyama;Keita Yokoyama;Keita Yokoyama
• 通讯作者: Keita Yokoyama

The strength of Ramsey’s theorem from several different view points

从几个不同角度看拉姆齐定理的强度

• 发表时间: 2014
• 作者: Stephen G. Simpson and Keita;Yokoyama;Keita Yokoyama;Keita Yokoyama;Keita Yokoyama;Keita Yokoyama;Keita Yokoyama;Keita Yokoyama
• 通讯作者: Keita Yokoyama

Proof transformations for nonstandard analysis

非标准分析的证明转换

• 发表时间: 2014
• 作者: Stephen G. Simpson and Keita;Yokoyama;Keita Yokoyama;Keita Yokoyama;Keita Yokoyama;Keita Yokoyama
• 通讯作者: Keita Yokoyama