Term extraction and Ramsey's theorem for pairs
Term extraction and Ramsey's theorem for pairs
复制标题
项提取和拉姆齐对定理
DOI：
10.2178/jsl/1344862165
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
Kohlenbach
中科院分区：
文献类型：
--
作者：
Kreuzer;Kohlenbach
登录
查看更多内容
内聚原则和 Bolzano-Weierstraß 原则
影响因子：
0.3
作者：
A. Kreuzer
通讯作者：
A. Kreuzer
有限类型的强可大化泛函：包含不连续泛函的条递归模型
影响因子：
0.6
作者：
M. Bezem
通讯作者：
M. Bezem
数学上强大的分析子系统，可证明递归泛函的增长率较低
影响因子：
0.3
作者：
U. Kohlenbach
通讯作者：
U. Kohlenbach
拉姆齐偶数定理中的非标准方法
DOI：
--
发表时间：
2006
期刊：
影响因子：
--
作者：
C. Chong
通讯作者：
C. Chong
关于 n 量词归纳
影响因子：
0.6
作者：
C. Parsons
通讯作者：
C. Parsons