课题基金 / 基金详情

Reverse Mathematics and Models of Arithmetic

Reverse Mathematics and Models of Arithmetic
逆向数学和算术模型
批准号：
19740042
负责人：
YAMAZAKI Takeshi
金额：
$2.23万
依托单位：
Tohoku University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2007
资助国家：
日本
项目状态：
已结题
起止时间：
2007 至 2010
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-19740042/
关键词：
逆数学二階算術オメガモデル再帰理論帰納的関数論オメガ-モデルランダムオメガーモデル超準モデル弱ケーニッヒの補題

项目摘要

项目成果

YAMAZAKI Takeshi的其他基金

相似基金

相关文献

中文摘要
翻译
逆向数学是对数学定理进行分类的研究程序，根据这些数学定理需要集合存在公理来证明它们。在这一点上，我们得到了以下三种结果：（1）一种新的构造omaga模型的方法及其在保守性结果中的应用;（2）新的随机性概念和与之相对应的新系统;（3）关于离散数学和环论的新的逆数学结果。
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
How to define randomness
如何定义随机性
DOI： --
发表时间： 2009
期刊：
影响因子： --
作者： [M. Kumabe, T. Suzuki, T. Yamazaki, T. Yamazaki, 山崎武, T. Yamazaki]
通讯作者： T. Yamazaki
ゲーデルと20世紀の論理学(3)不完全性定理と算術の体系
哥德尔与20世纪逻辑（三）不完备性定理与算术系统
DOI： --
发表时间： 2007
期刊：
影响因子： --
作者： [田中 一之, 鹿島 亮 他]
通讯作者： 鹿島 亮 他
Computable Ring Theory and Reverse Mathematics
可计算环理论和逆向数学
DOI： --
发表时间： 2010
期刊：
影响因子： --
作者： [M. Kumabe, T. Suzuki, T. Yamazaki, T. Yamazaki]
通讯作者： T. Yamazaki
・主催した会議 1.証明論研究集会 2009 (福島), 2010 年2月 2. Sendai Logic Spring Workshop 2008,(東北大学), 2008 年2 月
・主办会议 1. Proof Theory Research Meeting 2009（福岛），2010 年 2 月 2. Sendai Logic Spring Workshop 2008，（东北大学），2008 年 2 月
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
共 10 条
    Development and Problems of the Transboundary Community in East Asia
    • 批准号：
      15K01879
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $3.0万
    • 财政年份：
      2015
    • 负责人：
      YAMAZAKI Takeshi
    • 依托单位：
      Kobe University
    Advance and validation of leaf-wetness estimating method using meteorological data
    • 批准号：
      24540467
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $3.24万
    • 财政年份：
      2012
    • 负责人：
      YAMAZAKI Takeshi
    • 依托单位：
      Tohoku University
    Protective effect of neurosteroids on developmental brains
    • 批准号：
      22310041
    • 项目类别：
      Grant-in-Aid for Scientific Research (B)
    • 资助金额：
      $11.9万
    • 财政年份：
      2010
    • 负责人：
      YAMAZAKI Takeshi
    • 依托单位：
      Hiroshima University
    South China and Vietnam during Ming and Qing period
    • 批准号：
      20720185
    • 项目类别：
      Grant-in-Aid for Young Scientists (B)
    • 资助金额：
      $2.58万
    • 财政年份：
      2008
    • 负责人：
      YAMAZAKI Takeshi
    • 依托单位：
      Kyoto University
    海外基金