François G. Dorais

According to our database, François G. Dorais authored at least 10 papers between 2012 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

Bounding 2d functions by products of 1d functions.

François G. Dorais, Dan Hathaway

Math. Log. Q., 2022

2019

When does every definable nonempty set have a definable element?

François G. Dorais, Joel David Hamkins

Math. Log. Q., 2019

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

2015

Comparing the strength of diagonally Nonrecursive Functions in the Absence of ∑₂⁰ Induction.

François G. Dorais, Jeffry L. Hirst, Paul Shafer

J. Symb. Log., 2015

2014

Classical Consequences of Continuous Choice Principles from Intuitionistic Analysis.

François G. Dorais

Notre Dame J. Formal Log., 2014

2013

Automorphism Groups of Countably Categorical Linear Orders are Extremely Amenable.

François G. Dorais, Steven Gubkin, Daniel McDonald, Manuel Rivera

Order, 2013

Reverse Mathematics and Algebraic Field Extensions.

François G. Dorais, Jeffry L. Hirst, Paul Shafer

Comput., 2013

2012

On the Indecomposability of ωⁿ.

Jared Corduan, François G. Dorais

Notre Dame J. Formal Log., 2012

Reverse mathematics, trichotomy, and dichotomy.

François G. Dorais, Jeffry L. Hirst, Paul Shafer

J. Log. Anal., 2012

A variant of Mathias forcing that preserves $${\mathsf{ACA}_0}$$.

François G. Dorais

Arch. Math. Log., 2012