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 |