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)
権 英哲のウェブサイト
权英铁的网站
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
Eitetsu KEN's Homepage
英铁KEN的主页
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    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
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了