11 citations · 35 across the 26 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
math.LO2020★ 2 cited
Reduction games, provability, and compactness
Damir D. Dzhafarov, Denis R. Hirschfeldt, Sarah C. Reitzes
Hirschfeldt and Jockusch (2016) introduced a two-player game in which winning strategies for one or the other player precisely correspond to implications and non-implications betwe…
math.LO2020★ 3 cited
Milliken's tree theorem and its applications: a computability-theoretic perspective
Paul-Elliot Anglès d'Auriac, Peter A. Cholak, Damir D. Dzhafarov +2
Milliken's tree theorem is a deep result in combinatorics that generalizes a vast number of other results in the subject, most notably Ramsey's theorem and its many variants and co…