逆数学における分割順序数
逆数学中的划分序数
基本信息
- 批准号:22F21776
- 负责人:
- 金额:$ 1.47万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for JSPS Fellows
- 财政年份:2022
- 资助国家:日本
- 起止时间:2022-04-22 至 2024-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 }}
横山 啓太其他文献
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
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;三嶋恒平;三嶋恒平;三嶋恒平;三嶋恒平 - 通讯作者:
三嶋恒平
横山 啓太的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('横山 啓太', 18)}}的其他基金
New frontiers in reverse mathematics with the multidimensional perspective
多维视角逆向数学新领域
- 批准号:
23K03193 - 财政年份:2023
- 资助金额:
$ 1.47万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Approaching proof theory from the viewpoint of proof size
从证明大小的角度探讨证明理论
- 批准号:
19K03601 - 财政年份:2019
- 资助金额:
$ 1.47万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
超準手法と算術の融合による逆数学プログラムと超準解析学の発展
通过半准方法和算术的融合开发逆向数学程序和半准分析
- 批准号:
21740061 - 财政年份:2009
- 资助金额:
$ 1.47万 - 项目类别:
Grant-in-Aid for Young Scientists (B)
実解析学 複素解析学及び幾何学の基礎についての逆数学的研究
实分析:复分析和几何基础的倒数数学研究
- 批准号:
06J04999 - 财政年份:2006
- 资助金额:
$ 1.47万 - 项目类别:
Grant-in-Aid for JSPS Fellows
相似国自然基金
时空分辨核酸生物传感在亚细胞水平光电双模态精准测量
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
水凝胶改性陶瓷人工关节牢固结合界面的构筑与减磨润滑机理研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
锆酸铅基反铁电体畴动力学及其调控机理研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
USP7维持FADS2蛋白质稳态调控线粒体重编程驱动三阴性乳腺癌的转移
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
载铁生物炭对土壤镉污染的吸附固定及微生物协同作用机制研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
SREBP转录因子BbSre1负调控球孢白僵菌抗真菌物质产生的机制研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
面向截肢患者运动感知重建的肌电假肢手关节运动反馈时变编码研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
载鸢尾素层层自组装二氧化钛纳米管材料促进糖尿病骨缺损修复及机制研
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
多源数据融合的内外激励耦合下电驱动系统非平稳非高斯服役载荷谱高保
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
面向水质应急快检的碳点/微流控限域增强发光传感研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
相似海外基金
An implantable biosensor microsystem for real-time measurement of circulating biomarkers
用于实时测量循环生物标志物的植入式生物传感器微系统
- 批准号:
2901954 - 财政年份:2028
- 资助金额:
$ 1.47万 - 项目类别:
Studentship
Exploiting the polysaccharide breakdown capacity of the human gut microbiome to develop environmentally sustainable dishwashing solutions
利用人类肠道微生物群的多糖分解能力来开发环境可持续的洗碗解决方案
- 批准号:
2896097 - 财政年份:2027
- 资助金额:
$ 1.47万 - 项目类别:
Studentship
A Robot that Swims Through Granular Materials
可以在颗粒材料中游动的机器人
- 批准号:
2780268 - 财政年份:2027
- 资助金额:
$ 1.47万 - 项目类别:
Studentship
Likelihood and impact of severe space weather events on the resilience of nuclear power and safeguards monitoring.
严重空间天气事件对核电和保障监督的恢复力的可能性和影响。
- 批准号:
2908918 - 财政年份:2027
- 资助金额:
$ 1.47万 - 项目类别:
Studentship
Proton, alpha and gamma irradiation assisted stress corrosion cracking: understanding the fuel-stainless steel interface
质子、α 和 γ 辐照辅助应力腐蚀开裂:了解燃料-不锈钢界面
- 批准号:
2908693 - 财政年份:2027
- 资助金额:
$ 1.47万 - 项目类别:
Studentship
Field Assisted Sintering of Nuclear Fuel Simulants
核燃料模拟物的现场辅助烧结
- 批准号:
2908917 - 财政年份:2027
- 资助金额:
$ 1.47万 - 项目类别:
Studentship
Assessment of new fatigue capable titanium alloys for aerospace applications
评估用于航空航天应用的新型抗疲劳钛合金
- 批准号:
2879438 - 财政年份:2027
- 资助金额:
$ 1.47万 - 项目类别:
Studentship
Developing a 3D printed skin model using a Dextran - Collagen hydrogel to analyse the cellular and epigenetic effects of interleukin-17 inhibitors in
使用右旋糖酐-胶原蛋白水凝胶开发 3D 打印皮肤模型,以分析白细胞介素 17 抑制剂的细胞和表观遗传效应
- 批准号:
2890513 - 财政年份:2027
- 资助金额:
$ 1.47万 - 项目类别:
Studentship
CDT year 1 so TBC in Oct 2024
CDT 第 1 年,预计 2024 年 10 月
- 批准号:
2879865 - 财政年份:2027
- 资助金额:
$ 1.47万 - 项目类别:
Studentship
Understanding the interplay between the gut microbiome, behavior and urbanisation in wild birds
了解野生鸟类肠道微生物组、行为和城市化之间的相互作用
- 批准号:
2876993 - 财政年份:2027
- 资助金额:
$ 1.47万 - 项目类别:
Studentship