Dorais, François G.; Dzhafarov, Damir D.; Hirst, Jeffry L.; Mileti, Joseph R.; Shafer, Paul On uniform relationships between combinatorial problems. (English) Zbl 06560459 Trans. Am. Math. Soc. 368, No. 2, 1321-1359 (2016). MSC: 03B30 05D10 05D40 05D15 03D32 03D80 03F35 PDF BibTeX XML Cite \textit{F. G. Dorais} et al., Trans. Am. Math. Soc. 368, No. 2, 1321--1359 (2016; Zbl 06560459) Full Text: DOI
Dorais, François G.; Hirst, Jeffry L.; Shafer, Paul Comparing the strength of diagonally nonrecursive functions in the absence of \(\Sigma_2^0\) induction. (English) Zbl 1373.03016 J. Symb. Log. 80, No. 4, 1211-1235 (2015). Reviewer: Leszek Aleksander Kołodziejczyk (Warszawa) MSC: 03B30 03F35 03D30 PDF BibTeX XML Cite \textit{F. G. Dorais} et al., J. Symb. Log. 80, No. 4, 1211--1235 (2015; Zbl 1373.03016) Full Text: DOI
Dorais, François G.; Hirst, Jeffry; Shafer, Paul Reverse mathematics and algebraic field extensions. (English) Zbl 1308.03038 Computability 2, No. 2, 75-92 (2013). Reviewer: Alexander Kreuzer (Lyon) MSC: 03B30 12F05 PDF BibTeX XML Cite \textit{F. G. Dorais} et al., Computability 2, No. 2, 75--92 (2013; Zbl 1308.03038) Full Text: DOI arXiv
Dorais, François G.; Hirst, Jeffry L.; Shafer, Paul Reverse mathematics, trichotomy and dichotomy. (English) Zbl 1296.03008 J. Log. Anal. 4, Article 13, 14 p. (2012). Reviewer: Alexander Kreuzer (Lyon) MSC: 03B30 03F35 03F55 03F60 PDF BibTeX XML Cite \textit{F. G. Dorais} et al., J. Log. Anal. 4, Article 13, 14 p. (2012; Zbl 1296.03008) Full Text: DOI