An estimation of the strengths of bounded arithmetics
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}の満たす代数法則を抽出する。したがって、新たに発表した論文・研究成果はない。
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
権 英哲のウェブサイト
权英铁的网站
权英铁的网站
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
Eitetsu KEN's Homepage
英铁KEN的主页
英铁KEN的主页
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：