# François G. Dorais

## Papers

• When does every definable nonempty set have a definable element? (With J. D. Hamkins)
• Reverse mathematics of compact countable second-countable spaces
• On uniform relationships between combinatorial problems (With D. D. Dzhafarov, J. L. Hirst, J. R. Mileti and P. Shafer)
• Isotopy and homotopy invariants of classical and virtual pseudoknots (With A. Henrich, S. Jablan and I. Johnson)
• Comparing the strength of diagonally non-recursive functions in the absence of $\Sigma^0_2$ induction (With J. L. Hirst and P. Shafer)
• Classical consequences of continuous choice principles from intuitionistic analysis
• Reverse mathematics and algebraic field extensions (With J. L. Hirst and P. Shafer)
• On some properties of Hamel bases and their applications to Marczewski measurable functions (With R. Filipów and T. Natkaniec)
• Automorphism groups of countably categorical linear orders are extremely amenable (With S. Gubkin, D. McDonald and M. Rivera)
• A note on conjectures of F. Galvin and R. Rado
• Reverse mathematics, trichotomy, and dichotomy (With J. L. Hirst and P. Shafer)
• On the indecomposability of $\omega^n$ (With J. Corduan)
• A variant of Mathias forcing that preserves $\mathsf{ACA}_0$
• A Wieferich prime search up to $6.7\times10^{15}$ (With D. Klyve)
• Stationary and convergent strategies in Choquet games (With C. Mummert)
• A note on the Artin-Schreier Theorem
• Another note on Dilworth's theorem in the infinite case
• Algebraic sums of sets in Marczewski–Burstin algebras (With R. Filipów)