11 citations · 35 across the 26 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
math.LO2019
COH, SRT22, and multiple functionals
Damir Dzhafarov, Ludovic Patey
We prove the following result: there is a family of subsets of such that for every stable coloring hyperarithmetical in $…
math.LO2019★ 1 cited
Some results concerning the vs. problem
Peter A. Cholak, Damir D. Dzhafarov, Denis R. Hirschfeldt +1
The vs.\ problem is a central problem in computable combinatorics and reverse mathematics, asking whether every Turing ideal that satisfies the pr…