课题基金 / 基金详情

Uniform computability verified in a mathematically strong system and semi-intuitionistic provability for existence sentences

Uniform computability verified in a mathematically strong system and semi-intuitionistic provability for existence sentences
在数学上强大的系统中验证了统一可计算性以及存在句子的半直觉可证明性
批准号：
16H07289
负责人：
Fujiwara Makoto
金额：
$1.41万
依托单位：
Waseda University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Research Activity Start-up
财政年份：
2016
资助国家：
日本
项目状态：
已结题
起止时间：
2016-08-26 至 2018-03-31
来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-16H07289/
关键词：
構成的数学計算可能数学逆数学存在定理直観主義算術論理原理数学基礎論

项目摘要

项目成果

Fujiwara Makoto的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(2)
专著(0)
科研奖励(0)
会议论文
Effective computability and constructive provability for existence sentences (Abstract)
存在句子的有效可计算性和构造性可证明性（摘要）
DOI： --
发表时间： 2017
期刊： The Bulletin of Symbolic Logic
影响因子： --
作者： [Bin Ni, Hayato Kato, Bin Ni, 倪彬, 佐々木博之, 本多真隆, 本多真隆, 山本桃子・山田郁子, 林田由那, Makoto Fujiwara]
通讯作者： Makoto Fujiwara
Effective computability and constructive provability for existence sentences
存在句子的有效可计算性和构造性可证明性
DOI： --
发表时间： 2016
期刊：
影响因子： --
作者： [Makoto Fujiwara, Makoto Fujiwara, Makoto Fujiwara]
通讯作者： Makoto Fujiwara
Computability Theory and Foundations of Mathematics 2016
可计算性理论与数学基础 2016
DOI： --
发表时间： 2016
期刊：
影响因子： --
作者： []
通讯作者：
Reverse mathematics and uniform provability
逆向数学和统一可证明性
DOI： --
发表时间： 2017
期刊：
影响因子： --
作者： [Makoto Fujiwara, Makoto Fujiwara]
通讯作者： Makoto Fujiwara
Efficacy and Safety of Percutaneous Blood Gas Monitoring in Perioperative Management of Lung Surgery
  • 批准号：
    19K18218
  • 项目类别：
    Grant-in-Aid for Early-Career Scientists
  • 资助金额：
    $2.75万
  • 财政年份：
    2019
  • 负责人：
    Fujiwara Makoto
  • 依托单位：
    Hiroshima University
Uniform computability and constructive derivability between existence sentences
海外基金