Determinacy of Wadge classes and subsystems of second order arithmetic
Determinacy of Wadge classes and subsystems of second order arithmetic
复制标题
Wadge 类和二阶算术子系统的确定性
DOI：
--
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
Takako Nemoto
中科院分区：
文献类型：
--
作者：
徳地澄人;Jae-Moon Shin;Kil Suk Kim;Jong Min Lim;養父克行;斉藤尚平;Dongho Kim;大須賀篤弘;Takako Nemoto
登录
查看更多内容
确定性的弱公理和分析子系统 II（Σ02 游戏）
DOI：
--
发表时间：
1991
期刊：
影响因子：
--
作者：
Kazuyuki Tanaka
通讯作者：
Kazuyuki Tanaka
确定性弱公理和分析子系统 II (Sigma02 Games)
影响因子：
0.8
作者：
Kazuyuki Tanaka
通讯作者：
Kazuyuki Tanaka
Σ1 和 Π1 超限归纳
DOI：
10.1016/s0049-237x(09)70514-2
发表时间：
1982
期刊：
Studies in logic and the foundations of mathematics
影响因子：
--
作者：
S. G. Simpson
通讯作者：
S. G. Simpson
多项式因式分解和 Σ10 归纳
影响因子：
0.8
作者：
S. G. Simpson;Rick L. Smith
通讯作者：
Rick L. Smith
贝尔空间的可约性和确定性
DOI：
--
发表时间：
1982
期刊：
影响因子：
--
作者：
W. Wadge
通讯作者：
W. Wadge