11 citations · 35 across the 26 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
math.LO2023★ 1 cited
The tree pigeonhole principle in the Weihrauch degrees
Damir Dzhafarov, Reed Solomon, Manlio Valenti
We study versions of the tree pigeonhole principle, , in the context of Weihrauch-style computable analysis. The principle has previously been the subject of extensi…
math.LO2023★ 1 cited
On the first-order parts of problems in the Weihrauch degrees
Damir D. Dzhafarov, Reed Solomon, Keita Yokoyama
We introduce the notion of the \emph{first-order part} of a problem in the Weihrauch degrees. Informally, the first-order part of a problem is the strongest problem wi…