刷新
The start-up for reverse mathematics from various angles
不同角度逆向数学的初创
基本信息
- 批准号：25887026
- 负责人：
- 金额：$ 1.75万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Research Activity Start-up
- 财政年份：2013
- 资助国家：日本
- 起止时间：2013-08-30 至 2015-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（13）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
On the Ramseyan factorization theorem
关于拉姆齐因式分解定理
- DOI：10.1007/978-3-319-08019-2_33
- 发表时间：2014
- 期刊：
- 影响因子：0
- 作者：S.Murakami;T.Yamazaki and K.Yokoyama
- 通讯作者：T.Yamazaki and K.Yokoyama
What is needed to characterize the natural number system?
描述自然数系需要什么？
- DOI：
- 发表时间：2015
- 期刊：
- 影响因子：0
- 作者：Stephen G. Simpson and Keita;Yokoyama;Keita Yokoyama
- 通讯作者：Keita Yokoyama
The strength of Ramsey’s theorem from several different view points
从几个不同角度看拉姆齐定理的强度
- DOI：
- 发表时间：2014
- 期刊：
- 影响因子：0
- 作者：Stephen G. Simpson and Keita;Yokoyama;Keita Yokoyama;Keita Yokoyama;Keita Yokoyama;Keita Yokoyama;Keita Yokoyama;Keita Yokoyama
- 通讯作者：Keita Yokoyama
Reverse mathematics and termination analysis
逆向数学和终止分析
- DOI：
- 发表时间：2015
- 期刊：
- 影响因子：0
- 作者：Stephen G. Simpson and Keita;Yokoyama;Keita Yokoyama;Keita Yokoyama
- 通讯作者：Keita Yokoyama
Propagation of partial randomness
- DOI：10.1016/j.apal.2013.10.006
- 发表时间：2013-11
- 期刊：
- 影响因子：0
- 作者：Kojiro Higuchi;W. M. P. Hudelson;S. G. Simpson;K. Yokoyama
- 通讯作者：Kojiro Higuchi;W. M. P. Hudelson;S. G. Simpson;K. Yokoyama
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
YOKOYAMA Keita其他文献
YOKOYAMA Keita的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
相似海外基金
Innovation of calculation method of QCD contribution to the muon g-2 by lattice QCD simulation
晶格QCD模拟QCD对μ子g-2贡献计算方法的创新
- 批准号：
25610053 - 财政年份：2013
- 资助金额：
$ 1.75万 - 项目类别：
Grant-in-Aid for Challenging Exploratory Research
Realization of Fast Calculation Method of Type-2 Fuzzy Inference Model
二类模糊推理模型快速计算方法的实现
- 批准号：
25730151 - 财政年份：2013
- 资助金额：
$ 1.75万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
Development and Application of a Simulation System for Nano- and Micro-Materials Design
纳米微材料设计仿真系统的开发与应用
- 批准号：
17310067 - 财政年份：2005
- 资助金额：
$ 1.75万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Study of Photoinduced Phase Transition in an Organic Radical Crystal with Strong Correlated Electronic System
强相关电子体系有机自由基晶体光致相变研究
- 批准号：
15340094 - 财政年份：2003
- 资助金额：
$ 1.75万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Organic Synthesis base on computational results : in-plane S_N2 reaction of haloalkenes
基于计算结果的有机合成：卤代烯烃的面内S_N2反应
- 批准号：
15590014 - 财政年份：2003
- 资助金额：
$ 1.75万 - 项目类别：
Grant-in-Aid for Scientific Research (C)