Reverse Mathematics and Models of Arithmetic
逆向数学和算术模型
基本信息
- 批准号：19740042
- 负责人：
- 金额：$ 2.23万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Young Scientists (B)
- 财政年份：2007
- 资助国家：日本
- 起止时间：2007 至 2010
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
Reverse mathematics is the research program to classify mathematical theorems according to which set existence axioms are needed to prove them. In this poin of view, we got the following three kinds of results: (1) a new method to construct omaga-model and its application to conservativity result; (2) new notions of randomness and new systems corresponding to them; (3) new reverse mathematical results on Discrete Mathematics and Ring Theory.
逆向数学是对数学定理进行分类的研究项目，根据这些定理需要一组存在性公理来证明它们。从这个角度来看，我们得到了以下三种结果：（1）一种新的omaga模型构建方法及其在保守性结果中的应用； (2)随机性的新概念和与之相对应的新系统； (3)离散数学和环理论的逆向数学新结果。
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Does truth-table of linear norm reduce the one-query tautologies to a random oracle?
线性范数真值表是否会将单查询同义反复简化为随机预言？
- DOI：
- 发表时间：2008
- 期刊：
- 影响因子：0
- 作者：M. Kumabe; T. Suzuki; T. Yamazaki
- 通讯作者：T. Yamazaki
Computable Ring Theory and Reverse Mathematics
可计算环理论和逆向数学
- DOI：
- 发表时间：2010
- 期刊：
- 影响因子：0
- 作者：T. Yamazaki
- 通讯作者：T. Yamazaki
{{
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 }}
YAMAZAKI Takeshi其他文献
Trade and Conflicts between China and Vietnam in the Sixteenth Century
16世纪中越之间的贸易与冲突
- DOI：
- 发表时间：
2011 - 期刊：
- 影响因子：0
- 作者：
YAMAZAKI Takeshi - 通讯作者：
YAMAZAKI Takeshi
The Revival of Malacca?: Malacca and Folangji in the Chinese perspective
马六甲的复兴？：中国人视角下的马六甲和佛朗吉
- DOI：
- 发表时间：
2013 - 期刊：
- 影响因子：0
- 作者：
YAMAZAKI Takeshi - 通讯作者：
YAMAZAKI Takeshi
Applicability of meteorological ensemble forecasting to predict summer cold damage in rice growth
气象集合预报在预测夏季水稻生长冷害中的应用
- DOI：
10.2480/agrmet.d-20-00004 - 发表时间：
2020 - 期刊：
- 影响因子：1.3
- 作者：
YOSHIDA Ryuhei;FUKUI Shin;FUKUI Shin;YAMAZAKI Takeshi - 通讯作者：
YAMAZAKI Takeshi
Applicability of meteorological ensemble forecasting to predict summer cold damage in rice growth
气象集合预报在预测夏季水稻生长冷害中的应用
- DOI：
10.2480/agrmet.d-20-00004 - 发表时间：
2020 - 期刊：
- 影响因子：1.3
- 作者：
YOSHIDA Ryuhei;FUKUI Shin;FUKUI Shin;YAMAZAKI Takeshi - 通讯作者：
YAMAZAKI Takeshi
Analysis of Systematic Error in Numerical Weather Prediction of Coastal Fronts in Japan's Kanto Plain
日本海岸锋数值天气预报系统误差分析
- DOI：
10.2151/jmsj.2021-002 - 发表时间：
2021 - 期刊：
- 影响因子：0
- 作者：
SUZUKI Kento;IWASAKI Toshiki;YAMAZAKI Takeshi - 通讯作者：
YAMAZAKI Takeshi
YAMAZAKI Takeshi的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('YAMAZAKI Takeshi', 18)}}的其他基金
Development and Problems of the Transboundary Community in East Asia
东亚跨界共同体的发展与问题
- 批准号：
15K01879 - 财政年份：2015
- 资助金额：
$ 2.23万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Advance and validation of leaf-wetness estimating method using meteorological data
利用气象资料估算叶片湿度方法的进展与验证
- 批准号：
24540467 - 财政年份：2012
- 资助金额：
$ 2.23万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Protective effect of neurosteroids on developmental brains
神经类固醇对大脑发育的保护作用
- 批准号：
22310041 - 财政年份：2010
- 资助金额：
$ 2.23万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Basic studies on cut marks on animal bones excavated from archeological sites
考古遗址出土动物骨骼切割痕迹的基础研究
- 批准号：
20800087 - 财政年份：2008
- 资助金额：
$ 2.23万 - 项目类别：
Grant-in-Aid for Young Scientists (Start-up)
South China and Vietnam during Ming and Qing period
明清时期的中国南方和越南
- 批准号：
20720185 - 财政年份：2008
- 资助金额：
$ 2.23万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
Rent Seeking and Endogenous Tariff Rate
寻租和内生关税率
- 批准号：
19530151 - 财政年份：2007
- 资助金额：
$ 2.23万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Sensitive assay for disturbance of brain function by environmental pollutants at low concentrations
低浓度环境污染物对脑功能干扰的灵敏测定
- 批准号：
18510058 - 财政年份：2006
- 资助金额：
$ 2.23万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Understanding of heat and water balance, and evapotranspiration characteristics on Asian monsoon area with one-dimensional land surface models
利用一维地表模型了解亚洲季风区水热平衡及蒸散特征
- 批准号：
14340142 - 财政年份：2002
- 资助金额：
$ 2.23万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Researches in heat budget for snow accreting boreal forests
北方积雪森林热收支研究
- 批准号：
08640541 - 财政年份：1996
- 资助金额：
$ 2.23万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
相似海外基金
Recursion Theory, Randomness, and Subsystems of Second Order Arithmetic
递归理论、随机性和二阶算术子系统
- 批准号：
1301659 - 财政年份：2013
- 资助金额：
$ 2.23万 - 项目类别：
Continuing Grant
A Study on Multi-Hierarchical Structures of Turbulent Premixed Flame by Multi-Dimensional Combined Laser Diagnostics and GPU-Cloud DNS
基于多维组合激光诊断和GPU-Cloud DNS的湍流预混火焰多层次结构研究
- 批准号：
23226005 - 财政年份：2011
- 资助金额：
$ 2.23万 - 项目类别：
Grant-in-Aid for Scientific Research (S)
圏論等の概念的手法に基づく、数理論理学の、諸分科間の有機的関連による研究
基于范畴论等概念方法研究数理逻辑各分支之间的有机关系
- 批准号：
08J01064 - 财政年份：2008
- 资助金额：
$ 2.23万 - 项目类别：
Grant-in-Aid for JSPS Fellows