On Ramsey's theorem for pairs

On Ramsey's theorem for pairs
复制标题

关于拉姆齐对定理

DOI:
--
复制
发表时间:
2011
期刊:
影响因子:
--
通讯作者:
Keita Yokoyama
Keita Yokoyama
中科院分区:
--
文献类型:
--
作者:
Keita Yokoyama;Sam Sanders;Takahiro Yamamoto;坂井哲;A. Shioura;Yu Kawakami;S. Kusuoka and S. Liang;Keita Yokoyama

文献摘要

参考文献

被引文献

相似文献

形式化二阶算术子系统中的强制论证
DOI: 10.1016/0168-0072(96)00003-6
发表时间: 1996
期刊: Ann. Pure Appl. Log.
影响因子: --
作者:
J. Avigad
通讯作者: J. Avigad
算术模型中的切割层次结构
DOI: 10.1007/bfb0090171
发表时间: 1980
影响因子: 0.6
作者:
J. Paris
通讯作者: J. Paris
DOI: 10.2307/2586482
发表时间: 1997
影响因子: 0.6
作者:
Tamara Lakins Hummel;C. Jockusch
通讯作者: C. Jockusch
DOI: 10.1016/s0049-237x(08)71117-0
发表时间: 1977
期刊: Studies in logic and the foundations of mathematics
影响因子: --
作者:
S. G. Simpson
通讯作者: S. G. Simpson
无量词系统和单量词系统
DOI: --
发表时间: 1972
期刊:
影响因子: --
作者:
G. Mints
通讯作者: G. Mints