A variant of Mathias forcing that preserves $${ mathsf{ACA}_0}$$. - François G. Dorais (Arch. Math. Log., 2012)

Reverse mathematics, trichotomy, and dichotomy. - François G. Dorais; Jeffry L. Hirst; Paul Shafer (J. Log. Anal., 2012)

On the Indecomposability of ωn. - Jared Corduan; François G. Dorais (Notre Dame J. Formal Log., 2012)

Reverse Mathematics and Algebraic Field Extensions. - François G. Dorais; Jeffry L. Hirst; Paul Shafer (Comput., 2013)

Automorphism Groups of Countably Categorical Linear Orders are Extremely Amenable. - François G. Dorais; Steven Gubkin; Daniel McDonald; Manuel Rivera (Order, 2013)

Classical Consequences of Continuous Choice Principles from Intuitionistic Analysis. - François G. Dorais (Notre Dame J. Formal Log., 2014)

Comparing the strength of diagonally Nonrecursive Functions in the Absence of ∑20 Induction. - François G. Dorais; Jeffry L. Hirst; Paul Shafer (J. Symb. Log., 2015)

Schmerl decompositions in first order arithmetic. - François G. Dorais; Zachary Evans; Marcia J. Groszek; Seth Harris; Theodore A. Slaman (Ann. Pure Appl. Log., 2019)

When does every definable nonempty set have a definable element? - François G. Dorais; Joel David Hamkins (Math. Log. Q., 2019)

Bounding 2d functions by products of 1d functions. - François G. Dorais; Dan Hathaway (Math. Log. Q., 2022)