On uniform relationships between combinatorial problems F Dorais, D Dzhafarov, J Hirst, J Mileti, P Shafer
Transactions of the American Mathematical Society 368 (2), 1321-1359, 2016
110 2016 A Wieferich Prime Search up to 6.7× 10 15 FG Dorais, D Klyve
Journal of Integer Sequences 14 (2), 3, 2011
68 2011 Classical consequences of continuous choice principles from intuitionistic analysis FG Dorais
21 2014 Reverse mathematics, trichotomy, and dichotomy FG Dorais, J Hirst, P Shafer
16 2011 Stationary and convergent strategies in Choquet games FG Dorais, C Mummert
arXiv preprint arXiv:0907.4126, 2009
16 2009 A Wieferich prime search up to FG Dorais, D Klyve
J. Integer Seq 14 (9), 2011
10 2011 Comparing the strength of diagonally nonrecursive functions in the absence of induction FG Dorais, JL Hirst, P Shafer
The Journal of Symbolic Logic 80 (4), 1211-1235, 2015
7 2015 On some properties of Hamel bases and their applications to Marczewski measurable functions F Dorais, R Filipów, T Natkaniec
Open Mathematics 11 (3), 487-508, 2013
7 2013 Reverse mathematics of compact countable second-countable spaces FG Dorais
arXiv preprint arXiv:1110.6555, 2011
7 2011 Isotopy and homotopy invariants of classical and virtual pseudoknots F Dorais, A Henrich, S Jablan, I Johnson
6 2015 A variant of Mathias forcing that preserves FG Dorais
Arxiv preprint arXiv:1110.6559, 2011
6 * 2011 Automorphism groups of countably categorical linear orders are extremely amenable FG Dorais, S Gubkin, D McDonald, M Rivera
Order 30, 415-426, 2013
5 2013 Reverse mathematics and algebraic field extensions FG Dorais, J Hirst, P Shafer
Computability 2 (2), 75-92, 2013
5 2013 Can the twin prime problem be solved with a single use of a halting oracle? July 23, 2011 FG Dorais
5 Bounding 2D functions by products of 1D functions F Dorais, D Hathaway
Mathematical Logic Quarterly 68 (2), 202-212, 2022
2 2022 When does every definable nonempty set have a definable element? FG Dorais, JD Hamkins
Mathematical Logic Quarterly 65 (4), 407-411, 2019
1 2019 A note on conjectures of F. Galvin and R. Rado FG Dorais
Canadian Mathematical Bulletin 56 (2), 317-325, 2013
1 2013 Souslin trees and degrees of constructibility FG Dorais
Dartmouth College, 2007
1 2007 Algebraic sums of sets in Marczewski-Burstin algebras. FG Dorais, R Filipów
Real Analysis Exchange 31 (1), 133-142, 2005
1 2005 Schmerl decompositions in first order arithmetic F Dorais, Z Evans, M Groszek, S Harris, T Slaman
Annals of Pure and Applied Logic 170 (12), 102717, 2019
2019