Items where authors include "Hirst, JL"

Article

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