Ramsey-like theorems and immunities
Logic
2026-05-12 v2
Abstract
A Ramsey-like theorem is a statement of the form ``For every 2-coloring of , there exists an infinite set~ such that avoids some pattern''. We prove that none of these statements are computably trivial, by constructing a computable 2-coloring of such that every infinite set avoiding any pattern computes a diagonally non-computable function relative to . We also consider multiple notions of weaknesses based of variants of immunity, and characterize the Ramsey-like theorems which preserve these notions or not, based on the shape of the avoided pattern. This is part of a larger study of the reverse mathematics of Ramsey-like theorems.
Cite
@article{arxiv.2508.15597,
title = {Ramsey-like theorems and immunities},
author = {Ahmed Mimouni and Ludovic Patey},
journal= {arXiv preprint arXiv:2508.15597},
year = {2026}
}
Comments
39 pages