Items where authors include "Shafer, PE"
Article
Bienvenu, L, Holzl, R, Porter, CP et al. (1 more author) (2017) Randomness and semimeasures. Notre Dame Journal of Formal Logic, 58 (3). pp. 301-328. ISSN 0029-4527
Shafer, PE orcid.org/0000-0001-5386-9218 (2016) The reverse mathematics of the Tietze extension theorem. Proceedings of the American Mathematical Society, 144 (12). pp. 5359-5370. ISSN 1088-6826
Frittaion, E, Hendtlass, M, Marcone, A et al. (2 more authors) (2016) Reverse mathematics, well-quasi-orders, and Noetherian spaces. Archive for Mathematical Logic, 55 (3). pp. 431-459. ISSN 0933-5846
Dorias, FG, Dzhafarov, DD, Hirst, JL et al. (2 more authors) (2016) On uniform relationships between combinatorial problems. Transactions of the American Mathematical Society, 368 (2). pp. 1321-1359. ISSN 0002-9947
Dorias, FG, Hirst, JL and Shafer, PE orcid.org/0000-0001-5386-9218 (2015) Comparing the strength of diagonally non-recursive functions in the absence of Sigma^0_2 induction. Journal of Symbolic Logic, 80 (4). pp. 1211-1235. ISSN 0022-4812
Holzl, R and Shafer, PE orcid.org/0000-0001-5386-9218 (2015) Universality, optimality, and randomness deficiency. Annals of Pure and Applied Logic, 166 (10). pp. 1049-1069. ISSN 0168-0072