...

首页> 外文期刊>Advances in Mathematics >The inductive strength of Ramsey's Theorem for Pairs

【24h】

The inductive strength of Ramsey's Theorem for Pairs

机译：Ramsey对成对定理的归纳力量

获取原文

获取原文并翻译 | 示例

获取外文期刊封面封底 >>

开具论文收录证明 >>

文献代查 >>

团队文献服务 >>

页面导航

著录项
引文网络
相似文献
相关主题

著录项

来源
《Advances in Mathematics》 |2017年第2017期|共21页
作者
C.T. Chong; Theodore A. Slaman; Yue Yang;
展开▼
作者单位

Department of Mathematics National University of Singapore Singapore 119076 Singapore;

Department of Mathematics University of California Berkeley Berkeley CA 94720-3840 USA;

Department of Mathematics National University of Singapore Singapore 119076 Singapore;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类数学;
关键词

相似文献

外文文献
中文文献
专利

1. The inductive strength of Ramsey's Theorem for Pairs [J] . C.T. Chong, Theodore A. Slaman, Yue Yang Advances in Mathematics . 2017,第期

机译：Ramsey对成对定理的归纳力量
2. The proof-theoretic strength of Ramsey's theorem for pairs and two colors [J] . Patey Ludovic, Yokoyama Keita Advances in Mathematics . 2018,第期

机译：Ramsey对成对定理的证明理论力量和两种颜色
3. ON THE STRENGTH OF RAMSEY'S THEOREM FOR PAIRS (vol 66, pg 1, 2001) [J] . Cholak PA, Jockusch CG, Slaman TA Journal of Symbolic Logic . 2009,第4期

机译：关于RAMSEY对定理的强度（第66卷，第1页，2001年）
4. Termination Analysis by Dependency Pairs and Inductive Theorem Proving [C] . Stephan Swiderski, Michael Parting, Juergen Giesl, Automated deduction-CADE-22 . 2009

机译：依赖对的终止分析和归纳定理证明
5. Paths, trees, and the computational strength of some Ramsey-type theorems. [D] . Flood, Stephen. 2012

机译：某些Ramsey型定理的路径，树木和计算强度。
6. Ramseys Theorem for a Class of Categories [O] . R. L. Graham, K. Leeb, B. L. Rothschild 1972

机译：一类分类的拉姆西定理
7. The strength of Ramsey’s theorem for pairs over trees: I. Weak König’s Lemma [O] . Chi Tat Chong, Wei Li, Lu Liu, 2021

机译：Ramsey对树木的定理的力量：I.弱König的引理

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号