Bar induction and bar recursion with respect to continuity on Baire space
Bar induction and bar recursion with respect to continuity on Baire space
复制标题
贝尔空间上连续性的条形归纳和条形递归
DOI：
--
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Makoto Fujiwara
中科院分区：
文献类型：
--
作者：
周冠宇;Makoto Fujiwara
登录
查看更多内容
扇形定理和一致连续性
影响因子：
1.1
作者：
J. Berger
通讯作者：
J. Berger
DOI：
--
发表时间：
2014
期刊：
影响因子：
--
作者：
Program
通讯作者：
Program
DOI：
--
发表时间：
2005
期刊：
Oxford Logic Guides 48
影响因子：
--
作者：
Hajime Ishihara
通讯作者：
Hajime Ishihara
贝尔空间上的形式连续函数
影响因子：
0.3
作者：
Tatsuji Kawai
通讯作者：
Tatsuji Kawai
影响因子：
0.5
作者：
H. Kyburg;S. Kleene;R. Vesley
通讯作者：
R. Vesley