Dickson’s lemma and weak Ramsey theory

被引:0
|
作者
Yasuhiko Omata
Florian Pelupessy
机构
[1] Tohoku University,Mathematical Institute
来源
Archive for Mathematical Logic | 2019年 / 58卷
关键词
Reverse mathematics; Ramsey theory; Dickson’s lemma; 03B30; 05C55; 03F30; 03H15;
D O I
暂无
中图分类号
学科分类号
摘要
We explore the connections between Dickson’s lemma and weak Ramsey theory. We show that a weak version of the Paris–Harrington principle for pairs in c colors and miniaturized Dickson’s lemma for c-tuples are equivalent over RCA0∗\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {RCA}_0^{*}$$\end{document}. Furthermore, we look at a cascade of consequences for several variants of weak Ramsey’s theorem.
引用
收藏
页码:413 / 425
页数:12
相关论文
共 50 条