Uniform computability and constructive derivability between existence sentences
Uniform computability and constructive derivability between existence sentences
存在句子之间的一致可计算性和构造性可导性
批准号：
18K13450
负责人：
Fujiwara Makoto
金额：
$1.41万
依托单位国家：
日本
项目类别：
Grant-in-Aid for Early-Career Scientists
财政年份：
2018
资助国家：
日本
项目状态：
已结题
起止时间：
2018-04-01 至 2021-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(6)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Equivalence of bar induction and bar recursion for continuous functions with continuous moduli
对于具有连续模的连续函数，条形归纳和条形递归等价
对于具有连续模的连续函数，条形归纳和条形递归等价
DOI：
10.1016/j.apal.2019.04.001
发表时间：
2019
期刊：
Annals of Pure and Applied Logic
影响因子：
0.8
作者：
[Makoto Fujiwara and Tatsuji Kawai]
通讯作者：
Makoto Fujiwara and Tatsuji Kawai
Bar induction and bar recursion with respect to continuity on Baire space
贝尔空间上连续性的条形归纳和条形递归
贝尔空间上连续性的条形归纳和条形递归
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[周冠宇, Makoto Fujiwara]
通讯作者：
Makoto Fujiwara
DOI：
10.1007/978-3-030-51466-2_4
发表时间：
2020-06-24
期刊：
Beyond the Horizon of Computability
影响因子：
--
作者：
[Fujiwara M]
通讯作者：
Fujiwara M
Weihrauch and constructive reducibility between existence statements
Weihrauch 和存在陈述之间的建设性还原性
Weihrauch 和存在陈述之间的建设性还原性
DOI：
10.3233/com-190278
发表时间：
2021
期刊：
Computability
影响因子：
0.6
作者：
[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
-
依托单位：
Uniform computability verified in a mathematically strong system and semi-intuitionistic provability for existence sentences
-
批准号：16H07289
-
项目类别：Grant-in-Aid for Research Activity Start-up
-
资助金额：$1.41万
-
财政年份：2016
-
负责人：Fujiwara Makoto
-
依托单位：
海外基金