< Back to previous page
Researcher
Paul Shafer
- Disciplines:Applied mathematics in specific fields not elsewhere classified
Affiliations
- Department of Mathematics: Analysis, Logic and Discrete Mathematics (Department)
Member
From1 Jan 2019 → 30 Jun 2020 - Department of Mathematics: Algebra and Geometry (Department)
Member
From1 Oct 2012 → 31 Dec 2018
Projects
1 - 1 of 1
- The complexities of mathematical problemsFrom1 Oct 2012 → 30 Jun 2020Funding: BOF - Other initiatives, FWO fellowships
Publications
1 - 10 of 12
- On the logical strengths of partial solutions to mathematical problems(2017)
Authors: Laurent Bienvenu, Ludovic Patey, Paul Shafer
Pages: 30 - 71 - On uniform relationships between combinatorial problems(2016)
Authors: François G Dorais, Damir D Dzhafarov, Jeffry L Hirst, Joseph R Mileti, Paul Shafer
Pages: 1321 - 1359 - Reverse mathematics, well-quasi-orders, and Noetherian spaces(2016)
Authors: Emanuele Frittaion, Matthew Hendtlass, Alberto Marcone, Paul Shafer, Jeroen Van der Meeren
Pages: 431 - 459 - Comparing the strength of diagonally nonrecursive functions in the absence of U+03A3U+2070U+2082 induction(2015)
Authors: François G Dorais, Jeffry L Hirst, Paul Shafer
Pages: 1211 - -1235 - Universality, optimality, and randomness deficiency(2015)
Authors: Rupert Hölzl, Paul Shafer
Pages: 1049 - -1069 - Reverse mathematics and algebraic field extensions(2013)
Authors: François G Dorais, Jeffry L Hirst, Paul Shafer
Pages: 75 - -92 - Menger's theorem in Pi(1)(1)-CA(0)(2012)
Authors: Paul Shafer
Pages: 407 - 423 - Reverse mathematics, trichotomy and dichotomy(2012)
Authors: François G Dorais, Jeffry L Hirst, Paul Shafer
- Coding true arithmetic in the Medvedev degrees of Pi(0)(1) classes(2012)
Authors: Paul Shafer
Pages: 321 - -337 - Coding true arithmetic in the Medvedev and Muchnik degrees(2011)
Authors: Paul Shafer
Pages: 267 - -288