A boundedness principle in constructive reverse mathematics, Continuity
A boundedness principle in constructive reverse mathematics, Continuity
复制标题
构造性逆向数学中的有界原理，连续性
DOI：
--
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
Hajime Ishihara
中科院分区：
文献类型：
--
作者：
Hajime Ishihara;Peter Schuster;Hajime Ishihara and Peter Schuster;Hajime Ishihara
登录
查看更多内容
数学上强大的分析子系统，可证明递归泛函的增长率较低
影响因子：
0.3
作者：
U. Kohlenbach
通讯作者：
U. Kohlenbach
影响因子：
0.6
作者：
Andrea Cantini;E. Casari;Pierluigi Minari
通讯作者：
Pierluigi Minari
为什么一点点就能大有帮助：科学适用数学的逻辑基础
DOI：
10.1086/psaprocbienmeetp.1992.2.192856
发表时间：
1992
期刊：
PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association
影响因子：
--
作者：
S. Feferman
通讯作者：
S. Feferman
具有非构造性 µ 运算符的显式数学系统，第二部分
DOI：
10.1016/0168-0072(95)00028-3
发表时间：
1996
期刊：
Ann. Pure Appl. Log.
影响因子：
--
作者：
S. Feferman;Gerhard Jäger
通讯作者：
Gerhard Jäger
论理解、选择和一般一致有界性的限制形式的算术内容
影响因子：
0.8
作者：
U. Kohlenbach
通讯作者：
U. Kohlenbach