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
  • 项目状态：
    已结题

项目摘要

项目成果

期刊论文数量（2）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Effective computability and constructive provability for existence sentences (Abstract)
存在句子的有效可计算性和构造性可证明性（摘要）
  • DOI：
  • 发表时间：
    2017
  • 期刊：
    The Bulletin of Symbolic Logic
  • 影响因子：
    0
  • 作者：
    Bin Ni;Hayato Kato;Bin Ni;倪彬;佐々木博之;本多真隆;本多真隆;山本桃子・山田郁子;林田由那;Makoto Fujiwara
  • 通讯作者：
    Makoto Fujiwara
Effective computability and constructive provability for existence sentences
存在句子的有效可计算性和构造性可证明性
  • DOI：
  • 发表时间：
    2016
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Makoto Fujiwara;Makoto Fujiwara;Makoto Fujiwara
  • 通讯作者：
    Makoto Fujiwara
Reverse mathematics and uniform provability
逆向数学和统一可证明性
  • DOI：
  • 发表时间：
    2017
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Makoto Fujiwara;Makoto Fujiwara
  • 通讯作者：
    Makoto Fujiwara
Computability Theory and Foundations of Mathematics 2016
可计算性理论与数学基础 2016
  • DOI：
  • 发表时间：
    2016
  • 期刊：
  • 影响因子：
    0
  • 作者：
  • 通讯作者：
{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ 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 }}

Fujiwara Makoto其他文献

A case of HDR syndrome coexisting with tetralogy of Fallot, with a novel GATA3 mutation, which manifested as a renal abscess
HDR综合征合并法洛四联症一例，伴有新的GATA3突变，表现为肾脓肿
  • DOI：
    10.1007/s13730-020-00551-0
  • 发表时间：
    2021
  • 期刊：
    CEN Case Reports
  • 影响因子：
    1
  • 作者：
    Ikeuchi Mayo;Kiyota Kyoko;Itonaga Tomoyo;Kawano-Matsuda Fumika;Ohata Yasuhisa;Fujiwara Makoto;Kubota Takuo;Ozono Keiichi;Ihara Kenji
  • 通讯作者：
    Ihara Kenji
反応性スパッタ法により作製したTiOx 薄膜の電気特性評価
反应溅射法制备TiOx薄膜电学性能评价
  • DOI：
  • 发表时间：
    2017
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Higo Akio;Sawamura Tomoki;Fujiwara Makoto;Ota Etsuko;Mizushima Ayako;Lebrasseur Eric;Arakawa Taro;Mita Yoshio;福本 泰士，有田 正志，福地 厚，高橋 庸夫
  • 通讯作者：
    福本 泰士，有田 正志，福地 厚，高橋 庸夫
A Micro Racetrack Optical Resonator Test Structure to Optimize Pattern Approximation in Direct Lithography Technologies
用于优化直接光刻技术中图案逼近的微型跑道光学谐振器测试结构
Phosphate promotes osteogenic differentiation through non-canonical Wnt signaling pathway in human mesenchymal stem cells
磷酸盐通过非经典Wnt信号通路促进人间充质干细胞的成骨分化
  • DOI：
    10.1016/j.bone.2022.116525
  • 发表时间：
    2022
  • 期刊：
    Bone
  • 影响因子：
    4.1
  • 作者：
    Rui Shumin;Kubota Takuo;Ohata Yasuhisa;Yamamoto Kenichi;Fujiwara Makoto;Takeyari Shinji;Ozono Keiichi
  • 通讯作者：
    Ozono Keiichi
高齢者における食道癌ESDの治療成績と予後因子の検討
老年食管癌ESD治疗效果及预后因素探讨
  • DOI：
  • 发表时间：
    2022
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Yamada Chieko;Kubota Takuo;Ishimi Takeshi;Takeyari Shinji;Yamamoto Kenichi;Nakayama Hirofumi;Ohata Yasuhisa;Fujiwara Makoto;Kitaoka Taichi;Ozono Keiichi;天野孝広;具嶋亮介
  • 通讯作者：
    具嶋亮介

Fujiwara Makoto的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

{{ truncateString('Fujiwara Makoto', 18)}}的其他基金

Efficacy and Safety of Percutaneous Blood Gas Monitoring in Perioperative Management of Lung Surgery
经皮血气监测在肺外科围术期管理中的有效性和安全性
  • 批准号：
    19K18218
  • 财政年份：
    2019
  • 资助金额：
    $ 1.41万
  • 项目类别：
    Grant-in-Aid for Early-Career Scientists
Uniform computability and constructive derivability between existence sentences
存在句子之间的一致可计算性和构造性可导性
  • 批准号：
    18K13450
  • 财政年份：
    2018
  • 资助金额：
    $ 1.41万
  • 项目类别：
    Grant-in-Aid for Early-Career Scientists

相似海外基金

New frontiers in reverse mathematics with the multidimensional perspective
多维视角逆向数学新领域
  • 批准号：
    23K03193
  • 财政年份：
    2023
  • 资助金额：
    $ 1.41万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Ultimate analysis of hierarchies in computability theory, descriptive set theory, and general topology
可计算性理论、描述集合论和一般拓扑中层次结构的终极分析
  • 批准号：
    19K03602
  • 财政年份：
    2019
  • 资助金额：
    $ 1.41万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Approaching proof theory from the viewpoint of proof size
从证明大小的角度探讨证明理论
  • 批准号：
    19K03601
  • 财政年份：
    2019
  • 资助金额：
    $ 1.41万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Computability theory on intuitionistic logic and its application to constructive reverse mathematics
直觉逻辑的可计算性理论及其在构造性逆向数学中的应用
  • 批准号：
    18K03392
  • 财政年份：
    2018
  • 资助金额：
    $ 1.41万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Uniform computability and constructive derivability between existence sentences
存在句子之间的一致可计算性和构造性可导性
  • 批准号：
    18K13450
  • 财政年份：
    2018
  • 资助金额：
    $ 1.41万
  • 项目类别：
    Grant-in-Aid for Early-Career Scientists
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了