P. Shafer

activity

20122026

most citedReverse mathematics, well-quasi-orders, and Noetherian spaces

6 citations · 26 across the 19 of their papers we have counts for

collaborators

Showing 2014Show all

3 papers · 1 filter

math.LO2014★ 3 cited

On the logical strengths of partial solutions to mathematical problems

Laurent Bienvenu, Ludovic Patey, Paul Shafer

We use the framework of reverse mathematics to address the question of, given a mathematical problem, whether or not it is easier to find an infinite partial solution than it is to…

math.LO2014

Universality, optimality, and randomness deficiency

Rupert Hölzl, Paul Shafer

A Martin-Löf test $U$ is universal if it captures all non-Martin-Löf random sequences, and it is optimal if for every ML-test $V$ there is a $c \in ω$ such that $…

math.LO2014

Comparing the strength of diagonally non-recursive functions in the absence of $Σ_{2}^{0}$ induction

François G. Dorais, Jeffry L. Hirst, Paul Shafer

We prove that the statement "there is a $k$ such that for every $f$ there is a $k$ -bounded diagonally non-recursive function relative to $f$ " does not imply weak König's lemma over…

On the logical strengths of partial solutions to mathematical problems

Universality, optimality, and randomness deficiency

Comparing the strength of diagonally non-recursive functions in the absence of Σ20​ induction

Comparing the strength of diagonally non-recursive functions in the absence of $Σ_{2}^{0}$ induction