Weak systems of determinacy and arithmetical quasi-inductive definitions
Weak systems of determinacy and arithmetical quasi-inductive definitions
复制标题
弱确定性系统和算术准归纳定义
DOI：
10.2178/jsl/1305810756
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
P. D. Welch
中科院分区：
文献类型：
--
作者：
P. D. Welch
登录
查看更多内容
关于 Spector 类
DOI：
--
发表时间：
1978
期刊：
影响因子：
--
作者：
A. Kechris
通讯作者：
A. Kechris
无限结构上的部分定点逻辑
DOI：
--
发表时间：
2002
期刊：
Annual Conference for Computer Science Logic
影响因子：
--
作者：
S. Kreutzer
通讯作者：
S. Kreutzer
确定性的弱公理和分析子系统 II（Σ02 游戏）
DOI：
--
发表时间：
1991
期刊：
影响因子：
--
作者：
Kazuyuki Tanaka
通讯作者：
Kazuyuki Tanaka
语义悖论的免疫报复解决方案
影响因子：
1.5
作者：
Hartry Field
通讯作者：
Hartry Field
稳定性的顺序分析
影响因子：
0.3
作者：
M. Rathjen
通讯作者：
M. Rathjen