A boundedness principle in constructive reverse mathematics
A boundedness principle in constructive reverse mathematics
复制标题
构造性逆向数学中的有界原理
DOI：
--
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
Hajime Ishihara
中科院分区：
文献类型：
--
作者：
Hajime Ishihara;Peter Schuster;Hajime Ishihara and Peter Schuster;Hajime Ishihara;Hajime Ishihara
登录
查看更多内容
关于连续可约性诱导的（半）晶格
影响因子：
0.3
作者：
A. Pauly
通讯作者：
A. Pauly
构造性数学的种类：构造性代数
DOI：
--
发表时间：
1987
期刊：
影响因子：
--
作者：
D. Bridges;F. Richman
通讯作者：
F. Richman
可分离哈恩-巴纳赫定理有多不可计算？
影响因子：
1.3
作者：
G. Gherardi;Alberto Marcone
通讯作者：
Alberto Marcone
全知原理、国王引理和哈恩-巴纳赫定理
DOI：
10.1002/malq.19900360307
发表时间：
1990
期刊：
Math. Log. Q.
影响因子：
--
作者：
H. Ishihara
通讯作者：
H. Ishihara
欧几里得空间子集的可计算性 I：闭子集和紧子集
影响因子：
1.1
作者：
V. Brattka;K. Weihrauch
通讯作者：
K. Weihrauch