43 citations · 55 across the 12 of their papers we have counts for
4 papers · 1 filter
Combinatorial principles equivalent to weak induction
Caleb Davis, Denis R. Hirschfeldt, Jeffry L. Hirst +3
We consider two combinatorial principles, and . Both are easily proved in plus induction. We give two proofs of in ${…
Dense computability, upper cones, and minimal pairs
Eric P. Astor, Denis R. Hirschfeldt, Carl G. Jockusch
This paper concerns algorithms that give correct answers with (asymptotic) density . A dense description of a function is a partial function on such that $\…
The reverse mathematics of Hindman's theorem for sums of exactly two elements
Barbara F. Csima, Damir D. Dzhafarov, Denis R. Hirschfeldt +3
Hindman's Theorem (HT) states that for every coloring of with finitely many colors, there is an infinite set such that all nonempty sums of dist…
Ramsey's theorem and products in the Weihrauch degrees
Damir D. Dzhafarov, Jun Le Goh, Denis R. Hirschfeldt +2
We study the positions in the Weihrauch lattice of parallel products of various combinatorial principles related to Ramsey's theorem. Among other results, we obtain an answer to a…