An estimation of the strengths of bounded arithmetics
有界算术强度的估计
基本信息
- 批准号:22KJ1121
- 负责人:
- 金额:$ 1.47万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for JSPS Fellows
- 财政年份:2023
- 资助国家:日本
- 起止时间:2023-03-08 至 2025-03-31
- 项目状态:未结题
- 来源:
- 关键词:
项目摘要
本年度は、当初の計画通り、研究計画で述べた以下のテーマについて、先行研究や関連分野の知識のインプットを優先した:(1)有界算術のモデルについて、その実閉包への埋め込みの特徴づけと、Surreal Number内での表示を求める。(2)証明系Pを固定したもとで、論理式αと自然数nに対し、αを導く複雑さnのP-proofの個数をN(α,n)とおき、自然数の族{N(α,n)}_{α,n}の満たす代数法則を抽出する。したがって、新たに発表した論文・研究成果はない。
は this year, at the beginning の plan り, research projects で above べ た following の テ ー マ に つ い て, leading research や masato even eset の knowledge の イ ン プ ッ ト を priority し た : (1) bounded arithmetic の モ デ ル に つ い て, そ の be closure へ の buried め 込 み の, 徴 づ け と, Surreal Number within で の said を o め る. (2) the certificate is P を fixed し た も と で, narrative alpha と natural number n に し seaborne, alpha を guide く 雑 さ n の P mantra を の number n (alpha, n) と お き, natural number の {n (alpha, n)} _ {alpha, n} の against た す algebra rules を spare す る. Youdaoplaceholder0 たがって, new たに published た papers · research achievements な な たがって.
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(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 }}
権 英哲其他文献
権 英哲的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
相似海外基金
Applications of forcing in bounded arithmetic
强制在有界算术中的应用
- 批准号:
18K03400 - 财政年份:2018
- 资助金额:
$ 1.47万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Computational complexity bounded arithmetic proof complexity
计算复杂度有界算术证明复杂度
- 批准号:
7755-2006 - 财政年份:2010
- 资助金额:
$ 1.47万 - 项目类别:
Discovery Grants Program - Individual
Computational complexity bounded arithmetic proof complexity
计算复杂度有界算术证明复杂度
- 批准号:
7755-2006 - 财政年份:2009
- 资助金额:
$ 1.47万 - 项目类别:
Discovery Grants Program - Individual
Computational complexity bounded arithmetic proof complexity
计算复杂度有界算术证明复杂度
- 批准号:
7755-2006 - 财政年份:2008
- 资助金额:
$ 1.47万 - 项目类别:
Discovery Grants Program - Individual
Proof Complexity and Bounded Arithmetic
证明复杂性和有界算术
- 批准号:
334637-2006 - 财政年份:2007
- 资助金额:
$ 1.47万 - 项目类别:
Alexander Graham Bell Canada Graduate Scholarships - Doctoral
Bounded Arithmetic and Propositional Proof Complexity
有界算术和命题证明复杂性
- 批准号:
313650-2005 - 财政年份:2007
- 资助金额:
$ 1.47万 - 项目类别:
Postdoctoral Fellowships
Computational complexity bounded arithmetic proof complexity
计算复杂度有界算术证明复杂度
- 批准号:
7755-2006 - 财政年份:2007
- 资助金额:
$ 1.47万 - 项目类别:
Discovery Grants Program - Individual
Proof Complexity and Bounded Arithmetic
证明复杂性和有界算术
- 批准号:
334637-2006 - 财政年份:2006
- 资助金额:
$ 1.47万 - 项目类别:
Alexander Graham Bell Canada Graduate Scholarships - Doctoral
Bounded Arithmetic and Propositional Proof Complexity
有界算术和命题证明复杂性
- 批准号:
313650-2005 - 财政年份:2006
- 资助金额:
$ 1.47万 - 项目类别:
Postdoctoral Fellowships
Computational complexity bounded arithmetic proof complexity
计算复杂度有界算术证明复杂度
- 批准号:
7755-2006 - 财政年份:2006
- 资助金额:
$ 1.47万 - 项目类别:
Discovery Grants Program - Individual