Weihrauch Counterparts of Reverse Mathematical Principles
Weihrauch Counterparts of Reverse Mathematical Principles
复制标题
Weihrauch 逆向数学原理的对应物
DOI：
--
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Takayuki Kihara
中科院分区：
文献类型：
--
作者：
M. Yamaguchi;K. Matsuoka;A. Kawasaki;J. Kasahara;H. Watanabe;A. Matsuo;鬼無 洋;Takayuki Kihara
登录
查看更多内容
完成选择
DOI：
10.1016/j.apal.2020.102914
发表时间：
2019
期刊：
ArXiv
影响因子：
--
作者：
V. Brattka;G. Gherardi
通讯作者：
G. Gherardi
Büchi 可判定性定理的逻辑强度
DOI：
10.23638/lmcs-15(2:16)2019
发表时间：
2016
期刊：
ArXiv
影响因子：
--
作者：
L. Kolodziejczyk;H. Michalewski;Cécilia Pradic;Michal Skrzypczak
通讯作者：
Michal Skrzypczak
多项式因式分解和 Σ10 归纳
影响因子：
0.8
作者：
S. G. Simpson;Rick L. Smith
通讯作者：
Rick L. Smith
通过无根据的线性顺序查找降序序列
DOI：
10.1017/jsl.2021.15
发表时间：
2020
期刊：
The Journal of Symbolic Logic
影响因子：
--
作者：
Jun Le Goh;A. Pauly;Manlio Valenti
通讯作者：
Manlio Valenti
DOI：
10.1016/j.apal.2021.103028
发表时间：
2021
期刊：
Ann. Pure Appl. Log.
影响因子：
--
作者：
Marta Fiori;L. Kolodziejczyk;Katarzyna W. Kowalik
通讯作者：
Katarzyna W. Kowalik