Paul Shafer

Identifiers

• name variant Paul Shafer 0.60 · backfill

Papers (12)

1. Intuitionism and computing with partial information math.LO · 2026 · author #2
2. Nonembeddings of Combinatory Algebras math.LO · 2026 · author #2
3. Comparing the degrees of enumerability and the closed Medvedev degrees math.LO · 2018 · author #1
4. Honest elementary degrees and degrees of relative provability without the cupping property math.LO · 2016 · author #1
5. The reverse mathematics of the Tietze extension theorem math.LO · 2016 · author #1
6. Reverse mathematics, well-quasi-orders, and Noetherian spaces math.LO · 2015 · author #4
7. On the logical strengths of partial solutions to mathematical problems math.LO · 2014 · author #3
8. Universality, optimality, and randomness deficiency math.LO · 2014 · author #2
9. Comparing the strength of diagonally non-recursive functions in the absence of $\Sigma^0_2$ induction math.LO · 2014 · author #3
10. Randomness and Semi-measures math.LO · 2013 · author #4
11. On uniform relationships between combinatorial problems math.LO · 2012 · author #5
12. Reverse Mathematics and Algebraic Field Extensions math.LO · 2012 · author #3

Mentions

• 2605.20841 #2 · arxiv_oai · confidence 0.70 Paul Shafer

Frequent Coauthors

• Fran\c{c}ois G. Dorais 3 shared papers
• Andrea Sorbi 2 shared papers
• Jeffry L. Hirst 2 shared papers
• Laurent Bienvenu 2 shared papers
• Rupert H\"olzl 2 shared papers
• Alberto Marcone 1 shared papers
• Christopher P. Porter 1 shared papers
• Damir D. Dzhafarov 1 shared papers
• Emanuele Frittaion 1 shared papers
• Hristo Ganchev 1 shared papers
• Jeffry Hirst 1 shared papers
• Jeroen Van der Meeren 1 shared papers
• Joseph R. Mileti 1 shared papers
• Ludovic Patey 1 shared papers
• Mariya I. Soskova 1 shared papers
• Matt Hendtlass 1 shared papers
• Patrick Lutz 1 shared papers
• Sebastiaan A. Terwijn 1 shared papers
• Theodore A. Slaman 1 shared papers