刷新
{{item.name}}会员
New frontiers in reverse mathematics with the multidimensional perspective
多维视角逆向数学新领域
基本信息
- 批准号：23K03193
- 负责人：
- 金额：$ 2.91万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (C)
- 财政年份：2023
- 资助国家：日本
- 起止时间：2023-04-01 至 2026-03-31
- 项目状态：未结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
数据更新时间：{{ journalArticles.updateTime }}
{{
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 }}
横山 啓太其他文献
Singularities of Holomorphic Functions in Subsystems of Second Order Arithmetic
二阶算术子系统中全纯函数的奇异性
- DOI：
- 发表时间：
- 期刊：
- 影响因子：0
- 作者：
K. Washiyama;S. Ayik;and N. Takigawa;Nobuyuki Sakamoto and Keita Yokoyama;Keita Yokoyama;Keita Yokoyama;横山 啓太;Keita Yokoyama;Yoshihiro Horihata and Keita Yokoyama - 通讯作者：
Yoshihiro Horihata and Keita Yokoyama
他者から手渡された物体を受け取る動作の適切さの検討
检查接收他人递给您的物品的行为是否适当
- DOI：
- 发表时间：
2007 - 期刊：
- 影响因子：0
- 作者：
Nobuyuki Sakamoto;Keita Yokoyama;Keita Yokoyama;横山 啓太;横山 啓太;横山 啓太;西條剛央;西條剛央・清水武;西條剛央・清水武;柴田寛;柴田寛;柴田寛 - 通讯作者：
柴田寛
タイオートバイ産業の勃興
泰国摩托车工业的崛起
- DOI：
- 发表时间：
- 期刊：
- 影响因子：0
- 作者：
Nobuyuki Sakamoto;Keita Yokoyama;Keita Yokoyama;横山 啓太;横山 啓太;横山 啓太;西條剛央;西條剛央・清水武;西條剛央・清水武;柴田寛;柴田寛;柴田寛;柴田寛;柴田寛;柴田寛;柴田寛;柴田寛;柴田寛;柴田寛;柴田寛;柴田寛;柴田寛;Hiroki Oguri;三嶋恒平;三嶋恒平;三嶋恒平;三嶋恒平 - 通讯作者：
三嶋恒平
On the reverse mathematics of Peano categoricity
皮亚诺范畴的逆数学
- DOI：
- 发表时间：
2012 - 期刊：
- 影响因子：0
- 作者：
堀誠;田邊優貴子;工藤栄;山室真澄;佐藤 康彦;田邊優貴子・内田雅己;横山 啓太;Yasuhiko Sato;Keita Yokoyama;佐藤 康彦;Keita Yokoyama;Yasuhiko Sato;Kei Irie;Keita Yokoyama - 通讯作者：
Keita Yokoyama
Gauge actions on the Jiang-Su algebra with the Rohlin property
用 Rohlin 性质衡量江苏代数的作用
- DOI：
- 发表时间：
2011 - 期刊：
- 影响因子：0
- 作者：
堀誠;田邊優貴子;工藤栄;山室真澄;佐藤 康彦;田邊優貴子・内田雅己;横山 啓太;Yasuhiko Sato;Keita Yokoyama;佐藤 康彦;Keita Yokoyama;Yasuhiko Sato;Kei Irie;Keita Yokoyama;北山達郎;Kei Irie;佐藤康彦;Keita Yokoyama;佐藤康彦;Kei Irie;横山啓太;佐藤康彦;上野大輔;入江慶;佐藤康彦;Keita Yokoyama;上野大輔;入江慶;Keita Yokoyama;Yasuhiko Sato - 通讯作者：
Yasuhiko Sato
横山 啓太的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('横山 啓太', 18)}}的其他基金
Approaching proof theory from the viewpoint of proof size
从证明大小的角度探讨证明理论
- 批准号：
19K03601 - 财政年份：2019
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
超準手法と算術の融合による逆数学プログラムと超準解析学の発展
通过半准方法和算术的融合开发逆向数学程序和半准分析
- 批准号：
21740061 - 财政年份：2009
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
実解析学 複素解析学及び幾何学の基礎についての逆数学的研究
实分析：复分析和几何基础的倒数数学研究
- 批准号：
06J04999 - 财政年份：2006
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for JSPS Fellows
相似海外基金
独占禁止法における証明論の基礎理論とその応用―企業結合規制を主題として―
反垄断法中证明论的基本理论及其应用 - 聚焦企业合并规制 -
- 批准号：
24KJ0139 - 财政年份：2024
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for JSPS Fellows
証明論的手法による構成的逆数学の体系の分類
使用证明理论方法对构造逆数学系统进行分类
- 批准号：
24K06823 - 财政年份：2024
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
可算集合論の証明論的研究
可数集合论的证明理论研究
- 批准号：
24K06825 - 财政年份：2024
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
否定概念に着目した異なる論理の共存の証明論的研究
以否定概念为重点的不同逻辑共存的证明研究
- 批准号：
22KJ0108 - 财政年份：2023
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for JSPS Fellows
証明論と型理論に基づく自然言語の形式意味論の新しい枠組み
基于证明论和类型论的自然语言形式语义新框架
- 批准号：
21K00016 - 财政年份：2021
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
不確実な推論を含む論証の証明論的研究
涉及不确定推理的论证的证明理论研究
- 批准号：
19K00021 - 财政年份：2019
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
証明論的手法による論理定項の特徴づけ
使用证明理论方法表征逻辑常数
- 批准号：
18K00036 - 财政年份：2018
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
ゲンツェンの証明論的手法を用いたブラウワーの知識論および言語論の再構築
用根岑的证明理论方法重建布劳尔的知识和语言学理论
- 批准号：
16J04925 - 财政年份：2016
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for JSPS Fellows