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)