Research of the structure of proofs in nonstandard models and formal theories

非标准模型和形式理论中的证明结构研究

基本信息

  • 批准号:
    16K17653
  • 负责人:
  • 金额:
    $ 2.5万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
  • 财政年份:
    2016
  • 资助国家:
    日本
  • 起止时间:
    2016-04-01 至 2019-03-31
  • 项目状态:
    已结题

项目摘要

项目成果

期刊论文数量(25)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Universal Rosser predicates
通用 Rosser 谓词
  • DOI:
    10.1017/jsl.2016.19
  • 发表时间:
    2017
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Alexey Tolstov; Ken'ichi Nomoto;Nozomu Tominaga,Miho N. Ishigaki;Sergey Blinnikov;Tomoharu Suzuki;Sohei Iwata and Taishi Kurahashi;Alexey Tolstov;Alexey Tolstov;Taishi Kurahashi;Alexey Tolstov;Taishi Kurahashi;Alexey Tolstov;Taishi Kurahashi;Taishi Kurahashi;樋口幸治郎・倉橋太志;Alexey Tolstov;Makoto Kikuchi and Taishi Kurahashi;Alexey Tolstov;Makoto Kikuchi and Taishi Kurahashi
  • 通讯作者:
    Makoto Kikuchi and Taishi Kurahashi
PA を含む理論の部分的な選言特性と存在特性
涉及 PA 的理论的部分析取和存在性质
  • DOI:
  • 发表时间:
    2017
  • 期刊:
  • 影响因子:
    0
  • 作者:
    大川裕矢・倉橋太志;倉橋太志;倉橋太志;倉橋太志;倉橋太志;倉橋太志
  • 通讯作者:
    倉橋太志
第一不完全性定理の拡張と一般化について
关于第一不完备性定理的推广和推广
  • DOI:
  • 发表时间:
    2017
  • 期刊:
  • 影响因子:
    0
  • 作者:
    大川裕矢・倉橋太志;倉橋太志;倉橋太志;倉橋太志;倉橋太志;倉橋太志;岩田荘平・倉橋太志;倉橋太志;倉橋太志;倉橋太志
  • 通讯作者:
    倉橋太志
On partial disjunction properties of theories containing Peano arithmetic
关于包含皮亚诺算术的理论的部分析取性质
  • DOI:
    10.1007/s00153-018-0618-3
  • 发表时间:
    2018
  • 期刊:
  • 影响因子:
    0.3
  • 作者:
    Alexey Tolstov; Ken'ichi Nomoto;Nozomu Tominaga,Miho N. Ishigaki;Sergey Blinnikov;Tomoharu Suzuki;Sohei Iwata and Taishi Kurahashi;Alexey Tolstov;Alexey Tolstov;Taishi Kurahashi;Alexey Tolstov;Taishi Kurahashi;Alexey Tolstov;Taishi Kurahashi;Taishi Kurahashi
  • 通讯作者:
    Taishi Kurahashi
不完全性定理と証明可能性述語について
关于不完备性定理和可证明性谓词
  • DOI:
  • 发表时间:
    2016
  • 期刊:
  • 影响因子:
    0
  • 作者:
    大川裕矢・倉橋太志;倉橋太志;倉橋太志;倉橋太志;倉橋太志;倉橋太志;岩田荘平・倉橋太志;倉橋太志;倉橋太志;倉橋太志;倉橋太志;倉橋太志;倉橋太志
  • 通讯作者:
    倉橋太志
{{ 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 }}

Kurahashi Taishi其他文献

Kurahashi Taishi的其他文献

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

{{ truncateString('Kurahashi Taishi', 18)}}的其他基金

Research of formal provability by means of the analysis of provability predicates
通过可证明性谓词分析来研究形式可证明性
  • 批准号:
    26887045
  • 财政年份:
    2014
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Grant-in-Aid for Research Activity Start-up

相似海外基金

Study of the properties of formal provability
形式可证明性的性质研究
  • 批准号:
    23K03200
  • 财政年份:
    2023
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Research of formal provability by means of the investigation of incompleteness theorems
通过不完备性定理的研究来研究形式可证明性
  • 批准号:
    19K14586
  • 财政年份:
    2019
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
Research of formal provability by means of the analysis of provability predicates
通过可证明性谓词分析来研究形式可证明性
  • 批准号:
    26887045
  • 财政年份:
    2014
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Grant-in-Aid for Research Activity Start-up
Non-standard models of arithmetic and the incompleteness theorems
非标准算术模型和不完备性定理
  • 批准号:
    24540125
  • 财政年份:
    2012
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Mathematical study of quantum information and quantum computing
量子信息与量子计算的数学研究
  • 批准号:
    17340021
  • 财政年份:
    2005
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了