1: \begin{definition}

2:   A Turing ideal $\mathcal{I}$ satisfies $\mathbf{trRT^2_k}$ (``transitive Ramsey's Theorem for pairs with $k$ colors'') if whenever $c:[\mathbb{N}]^2\rightarrow[1,k]$ is a coloring where all colors are transitive, there is an infinite set $S$ and an $i\in[1,k]$ so that whenever $a,b\in S$, $c(a,b)=i$.

3: \end{definition}

4: