Systems of Constructive Reverse Mathematics
Systems of Constructive Reverse Mathematics
复制标题
构造性逆向数学系统
DOI：
--
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Takako Nemoto
中科院分区：
文献类型：
--
作者：
Nakamura;Makoto; Takeda;H.;依岡輝幸;Takako Nemoto
登录
查看更多内容
分离超平面定理、资产定价基本定理和马尔可夫原理
DOI：
10.1016/j.apal.2016.05.003
发表时间：
2016
期刊：
Ann. Pure Appl. Log.
影响因子：
--
作者：
J. Berger;Gregor Svindland
通讯作者：
Gregor Svindland
布劳威尔扇形定理作为公理并与克莱恩替代定理对比
影响因子：
0.3
作者：
W. Veldman
通讯作者：
W. Veldman
（弱）范定理的等价物
DOI：
10.1016/j.apal.2004.07.002
发表时间：
2005
期刊：
Ann. Pure Appl. Log.
影响因子：
--
作者：
I. Loeb
通讯作者：
I. Loeb
DOI：
--
发表时间：
2005
期刊：
Oxford Logic Guides 48
影响因子：
--
作者：
Hajime Ishihara
通讯作者：
Hajime Ishihara
递归理论和逆向数学中的非标准模型
DOI：
10.1017/bsl.2014.14
发表时间：
2014
期刊：
Bull. Symb. Log.
影响因子：
--
作者：
C. Chong;Wei Li;Yue Yang
通讯作者：
Yue Yang