A. Pauly

activity

20092023

most citedClosed Choice and a Uniform Low Basis Theorem

101 citations · 491 across the 53 of their papers we have counts for

collaborators

Showing 2018 · math.LOShow all

3 papers · 2 filters

math.LO2018

Combinatorial principles equivalent to weak induction

Caleb Davis, Denis R. Hirschfeldt, Jeffry L. Hirst +3

We consider two combinatorial principles, $ERT$ and $ECT$ . Both are easily proved in $RCA_{0}$ plus $Σ_{2}^{0}$ induction. We give two proofs of $ERT$ in ${…

math.LO2018★ 5 cited

Projection operators in the Weihrauch lattice

Guido Gherardi, Alberto Marcone, Arno Pauly

In this paper we study the Weihrauch complexity of projection operators onto closed subsets of the Euclidean space. We show that some fundamental degrees of the Weihrauch lattice c…

math.LO2018★ 1 cited

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…