François G. Dorais

Publication Activity (10 Years)

Years Active: 2012-2019
Publications (10 Years): 1

Top Topics

Computer Algebra

Mathematical Theory

Concept Formation

Top Venues

Notre Dame J. Formal Log.

Arch. Math. Log.

Publications

François G. Dorais, Joel David Hamkins
When does every definable nonempty set have a definable element? Math. Log. Q. 65 (4) (2019)
François G. Dorais, Jeffry L. Hirst, Paul Shafer
Induction. J. Symb. Log. 80 (4) (2015)
François G. Dorais
Classical Consequences of Continuous Choice Principles from Intuitionistic Analysis. Notre Dame J. Formal Log. 55 (1) (2014)
François G. Dorais, Steven Gubkin, Daniel McDonald, Manuel Rivera
Automorphism Groups of Countably Categorical Linear Orders are Extremely Amenable. Order 30 (2) (2013)
François G. Dorais, Jeffry L. Hirst, Paul Shafer
Reverse Mathematics and Algebraic Field Extensions. Comput. 2 (2) (2013)
Jared Corduan, François G. Dorais
. Notre Dame J. Formal Log. 53 (3) (2012)
François G. Dorais
A variant of Mathias forcing that preserves $${\mathsf{ACA}_0}$$. Arch. Math. Log. 51 (7-8) (2012)
François G. Dorais, Jeffry L. Hirst, Paul Shafer
Reverse mathematics, trichotomy, and dichotomy. J. Log. Anal. 4 (2012)