An arithmetical hierarchy of the law of excluded middle and related principles
An arithmetical hierarchy of the law of excluded middle and related principles
复制标题
排中律的算术层次及相关原理
DOI：
--
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
S.Hayashi
中科院分区：
文献类型：
--
作者：
Y.Akama;S.Berardi;U.Kohlenbach;S.Hayashi
登录
查看更多内容
证明理论手册
DOI：
--
发表时间：
1998
期刊：
影响因子：
--
作者：
S. Buss
通讯作者：
S. Buss
CT 0 比 CT 0 强
DOI：
--
发表时间：
1979
期刊：
影响因子：
--
作者：
V. Lifschitz
通讯作者：
V. Lifschitz
评论：Stephen G. Simpson，二阶算术子系统
影响因子：
0.6
作者：
Peter A. Cholak
通讯作者：
Peter A. Cholak
经典算术与直觉算术的保守性定理的推广
影响因子：
0.3
作者：
S. Berardi
通讯作者：
S. Berardi
利夫希茨的可实现性
DOI：
10.2307/2274666
发表时间：
1990
期刊：
J. Symb. Log.
影响因子：
--
作者：
J. V. Oosten
通讯作者：
J. V. Oosten