Phase transitions of provability and supercritical propositions of reverse mathematics
Phase transitions of provability and supercritical propositions of reverse mathematics
可证明性的相变和逆向数学的超临界命题
批准号：
15H03634
负责人：
Tanaka Kazuyuki
金额：
$10.73万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2015
资助国家：
日本
项目状态：
已结题
起止时间：
2015-04-01 至 2020-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
DOI：
10.1016/j.aim.2018.03.035
发表时间：
2016-01
期刊：
arXiv: Logic
影响因子：
--
作者：
[Ludovic Patey;K. Yokoyama]
通讯作者：
Ludovic Patey;K. Yokoyama
無限ゲームとプッシュダウンω言語
无限游戏和下推ω语言
无限游戏和下推ω语言
DOI：
--
发表时间：
2017
期刊：
影响因子：
--
作者：
[Yuichiro Ezoe, Yoshizumi Miyoshi, Satoshi Kasahara, Tomoki Kimura, Kumi Ishikawa, Masaki Fujimoto, Kazuhisa Mitsuda, Hironori Sahara, Naoki Isobe, Hiroshi Nakajima, Takaya Ohashi, Harunori Nagata, Ryu Funase, Munetaka Ueno, Graziella Branduardi-Raymont, 石渡哲哉, 田中一之，李文娟]
通讯作者：
田中一之，李文娟
The determinacy strength of pushdown $\omega$-languages
下推$omega$-语言的确定性强度
下推$omega$-语言的确定性强度
DOI：
10.1051/ita/2017006
发表时间：
2017
期刊：
RAIRO - Theoretical Informatics and Applications
影响因子：
--
作者：
[Harada Masaaki, Munemasa Akihiro, Tonchev Vladimir D., W. Li and K. Tanaka]
通讯作者：
W. Li and K. Tanaka
Trees with at most finitely many paths in reverse mathematics
逆向数学中最多具有有限多条路径的树
逆向数学中最多具有有限多条路径的树
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
[渡部 善隆, 木下 武彦, 中尾 充宏, Keita Yokoyama]
通讯作者：
Keita Yokoyama
Determinacy of Infinite Games and Reverse Mathematics: Complexity of Winning Strategies
无限博弈的确定性和逆向数学：获胜策略的复杂性
无限博弈的确定性和逆向数学：获胜策略的复杂性
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
[木下 武彦, 渡部 善隆, 山本 野人, 中尾 充宏, Hiroshi Nakajima, Takako Nemoto]
通讯作者：
Takako Nemoto
共 60 条
New formal methods based on game semantics and their descriptive hierarchy
-
批准号：26540001
-
项目类别：Grant-in-Aid for Challenging Exploratory Research
-
资助金额：$2.25万
-
财政年份：2014
-
负责人：Tanaka Kazuyuki
-
依托单位：
海外基金