Reduction games, provability and compactness
Reduction games, provability and compactness
复制标题
约简博弈、可证明性和紧致性
DOI：
10.1142/s021906132250009x
复制
发表时间：
2022
影响因子：
0.9
通讯作者：
Reitzes, Sarah
中科院分区：
文献类型：
--
作者：
Dzhafarov, Damir D.;Hirschfeldt, Denis R.;Reitzes, Sarah
登录
查看更多内容
含有 $E-PA^{omega } QF-AC^{0,0}$ 的系统中魏劳赫还原性的表征
DOI：
--
发表时间：
2020
期刊：
Journal of Symbolic Logic (JSL)
影响因子：
--
作者：
Patrick Uftring
通讯作者：
Patrick Uftring
影响因子：
0.3
作者：
Emanuele Frittaion;Alberto Marcone
通讯作者：
Alberto Marcone
论Σ2-公式的集合原理在二阶逆数学中的作用
DOI：
--
发表时间：
2009
期刊：
影响因子：
--
作者：
C. Chong;S. Lempp;Yue Yang
通讯作者：
Yue Yang
DOI：
--
发表时间：
2018
期刊：
Journal of Symbolic Logic (JSL)
影响因子：
--
作者：
A. Montalbán;R. Shore
通讯作者：
R. Shore
影响因子：
0.6
作者：
Brattka, Vasco;Pauly, Arno
通讯作者：
Pauly, Arno