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 条
  • [41] Fermat Principle, Ramsey Theory and Metamaterials
    Frenkel, Mark
    Shoval, Shraga
    Bormashenko, Edward
    MATERIALS, 2023, 16 (24)
  • [42] RAMSEY THEORY FOR HIGHLY CONNECTED MONOCHROMATIC SUBGRAPHS
    Bergfalk, J.
    Hrusak, M.
    Shelah, S.
    ACTA MATHEMATICA HUNGARICA, 2021, 163 (01) : 309 - 322
  • [43] Ramsey theory for highly connected monochromatic subgraphs
    J. Bergfalk
    M. Hrušák
    S. Shelah
    Acta Mathematica Hungarica, 2021, 163 : 309 - 322
  • [44] IS RAMSEY'S THEOREM ω-AUTOMATIC?
    Kuske, Dietrich
    27TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2010), 2010, 5 : 537 - 548
  • [45] A limiting result for the Ramsey theory of functional equations
    Arruda, Paulo Henrique
    Baglini, Lorenzo Luperi
    FUNDAMENTA MATHEMATICAE, 2024, 264 (01) : 55 - 68
  • [46] AN APPLICATION OF RAMSEY THEORY TO CODING FOR THE OPTICAL CHANNEL
    Kashyap, Navin
    Siegel, Paul H.
    Vardy, Alexander
    SIAM JOURNAL ON DISCRETE MATHEMATICS, 2005, 19 (04) : 921 - 937
  • [47] The symmetric subset problem in continuous Ramsey theory
    Martin, Greg
    O'Bryant, Kevin
    EXPERIMENTAL MATHEMATICS, 2007, 16 (02) : 145 - 165
  • [48] Pseudo-arithmetic sets and Ramsey theory
    Blanchard, PF
    JOURNAL OF COMBINATORIAL THEORY SERIES A, 2004, 106 (01) : 49 - 57
  • [49] A Miniaturisation of Ramsey's Theorem
    De Smet, Michiel
    Weiermann, Andreas
    PROGRAMS, PROOFS, PROCESSES, 2010, 6158 : 118 - 125
  • [50] Some new results in multiplicative and additive Ramsey theory
    Beiglboeck, Mathias
    Bergelson, Vitaly
    Hindman, Neil
    Strauss, Dona
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 2008, 360 (02) : 819 - 847