Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: SRT22 does not imply RT22 in omega-models   We complete a 40-year old program on the computability-theoretic analysis of
Ramsey's theorem, starting with Jockusch in 1972, and improving a result of
Chong, Slaman and Yang in 2014. Given a set $X$, let $[X]^n$ be the collection
of all $n$-element subsets of $X$. Ramsey's theorem for $n$-tuples asserts the
existence, for every finite coloring of $[\omega]^n$, of an infinite set $X
\subseteq \omega$ such that $[X]^n$ is monochromatic. The meta-mathematical
study of Ramsey has a rich history, with several long-standing open problems
and seminal theorems, including Seetapun's theorem in 1995 and Liu's theorem in
2012 about Ramsey's theorem for pairs. The remaining question about the study
of Ramsey's theorem from a computational viewpoint was the relation between
Ramsey's theorem for pairs ($\mathsf{RT}^2_2$) and its restriction to stable
colorings ($\mathsf{SRT}^2_2$), that is, colorings admitting a limit behavior.
Chong, Slaman and Yang first proved that $\mathsf{SRT}^2_2$ does not formally
imply $\mathsf{RT}^2_2$ in a proof-theoretic sense, using non-standard models
of reverse mathematics. In this article, we answer the open question whether
this non-implication also holds within the framework of computability theory.
More precisely, we construct a $\omega$-model of $\mathsf{SRT}^2_2$ which is
not a model of $\mathsf{RT}^2_2$. For this, we design a new notion of effective
forcing refining Mathias forcing using the notion of largeness classes.

17
The categories of this paper are: q-fin
29
The categories of this paper are: funct-an
13
The categories of this paper are: quant-ph
3
The categories of this paper are: physics
9
The categories of this paper are: nlin
30
The categories of this paper are: q-alg
22
The categories of this paper are: chao-dyn
7
The categories of this paper are: hep-th
31
The categories of this paper are: ao-sci
10
The categories of this paper are: q-bio
36
The categories of this paper are: cmp-lg
1
The categories of this paper are: cs
20
The categories of this paper are: acc-phys
26
The categories of this paper are: bayes-an
32
The categories of this paper are: atom-ph
4
The categories of this paper are: cond-mat