COH, SRT22, and multiple functionals

Abstract: We prove the following result: there is a family

R = l a n g l e R_{0}, R_{1}, l d o t s a n g l e

of subsets of

o m e g a

such that for every stable coloring

c : [o m e g a]^{2} o k

hyperarithmetical in

R

and every finite collection of Turing functionals, there is an infinite homogeneous set

H

for

c

such that none of the finitely many functionals map

R o p l u s H

to an infinite cohesive set for

R

. This extends the current best partial results towards the

m a t h s f {S R T}_{2}^{2}

vs.

m a t h s f C O H

problem in reverse mathematics, and is also a partial result towards the resolution of several related problems, such as whether

m a t h s f C O H

is omnisciently computably reducible to

m a t h s f {S R T}_{2}^{2}

.

This page was built for publication: COH, SRT22, and multiple functionals