Unique existence and computability in constructive reverse mathematics
Unique existence and computability in constructive reverse mathematics
复制标题
构造性逆向数学中的独特存在性和可计算性
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
Hajime Ishihara
中科院分区：
文献类型：
--
作者：
A.Ito;K.Inoue;Y.Wang;Michiro Kondo;大木 憲二;Hajime Ishihara
登录
查看更多内容
弱科尼格引理蕴涵布劳威尔扇形定理：直接证明
DOI：
--
发表时间：
2006
期刊：
Notre Dame J. Formal Logic 47
影响因子：
--
作者：
H.Ishihara
通讯作者：
H.Ishihara
构造性数学的种类：构造性代数
DOI：
--
发表时间：
1987
期刊：
影响因子：
--
作者：
D. Bridges;F. Richman
通讯作者：
F. Richman
（弱）范定理的等价物
DOI：
10.1016/j.apal.2004.07.002
发表时间：
2005
期刊：
Ann. Pure Appl. Log.
影响因子：
--
作者：
I. Loeb
通讯作者：
I. Loeb
全知原理、国王引理和哈恩-巴纳赫定理
DOI：
10.1002/malq.19900360307
发表时间：
1990
期刊：
Math. Log. Q.
影响因子：
--
作者：
H. Ishihara
通讯作者：
H. Ishihara
[0, 1] 上的一致连续函数，处处与其下确界不同
影响因子：
0.6
作者：
W. Julian;F. Richman
通讯作者：
F. Richman