Dorais, François G.; Hamkins, Joel David When does every definable nonempty set have a definable element? (English) Zbl 07197332 Math. Log. Q. 65, No. 4, 407-411 (2019). MSC: 03 PDF BibTeX XML Cite \textit{F. G. Dorais} and \textit{J. D. Hamkins}, Math. Log. Q. 65, No. 4, 407--411 (2019; Zbl 07197332) Full Text: DOI
Dorais, François; Evans, Zachary; Groszek, Marcia; Harris, Seth; Slaman, Theodore Schmerl decompositions in first order arithmetic. (English) Zbl 07114353 Ann. Pure Appl. Logic 170, No. 12, Article ID 102717, 16 p. (2019). MSC: 03F50 03D25 03C62 03H15 PDF BibTeX XML Cite \textit{F. Dorais} et al., Ann. Pure Appl. Logic 170, No. 12, Article ID 102717, 16 p. (2019; Zbl 07114353) Full Text: DOI
Dorais, François G.; Dzhafarov, Damir D.; Hirst, Jeffry L.; Mileti, Joseph R.; Shafer, Paul On uniform relationships between combinatorial problems. (English) Zbl 06560459 Trans. Am. Math. Soc. 368, No. 2, 1321-1359 (2016). MSC: 03B30 05D10 05D40 05D15 03D32 03D80 03F35 PDF BibTeX XML Cite \textit{F. G. Dorais} et al., Trans. Am. Math. Soc. 368, No. 2, 1321--1359 (2016; Zbl 06560459) Full Text: DOI
Dorais, François G.; Hirst, Jeffry L.; Shafer, Paul Comparing the strength of diagonally nonrecursive functions in the absence of \(\Sigma_2^0\) induction. (English) Zbl 1373.03016 J. Symb. Log. 80, No. 4, 1211-1235 (2015). Reviewer: Leszek Aleksander Kołodziejczyk (Warszawa) MSC: 03B30 03F35 03D30 PDF BibTeX XML Cite \textit{F. G. Dorais} et al., J. Symb. Log. 80, No. 4, 1211--1235 (2015; Zbl 1373.03016) Full Text: DOI
Dorais, François G. Classical consequences of continuous choice principles from intuitionistic analysis. (English) Zbl 1331.03013 Notre Dame J. Formal Logic 55, No. 1, 25-39 (2014). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B20 03B30 03F35 03F55 PDF BibTeX XML Cite \textit{F. G. Dorais}, Notre Dame J. Formal Logic 55, No. 1, 25--39 (2014; Zbl 1331.03013) Full Text: DOI Euclid arXiv
Dorais, François G.; Hirst, Jeffry; Shafer, Paul Reverse mathematics and algebraic field extensions. (English) Zbl 1308.03038 Computability 2, No. 2, 75-92 (2013). Reviewer: Alexander Kreuzer (Lyon) MSC: 03B30 12F05 PDF BibTeX XML Cite \textit{F. G. Dorais} et al., Computability 2, No. 2, 75--92 (2013; Zbl 1308.03038) Full Text: DOI arXiv
Dorais, François Gilbert; Gubkin, Steven; McDonald, Daniel; Rivera, Manuel Automorphism groups of countably categorical linear orders are extremely amenable. (English) Zbl 1279.06002 Order 30, No. 2, 415-426 (2013). Reviewer: Martin Weese (Potsdam) MSC: 06A05 03C35 05C55 20B27 43A07 PDF BibTeX XML Cite \textit{F. G. Dorais} et al., Order 30, No. 2, 415--426 (2013; Zbl 1279.06002) Full Text: DOI arXiv
Dorais, François G. A note on conjectures of F. Galvin and R. Rado. (English) Zbl 1315.03077 Can. Math. Bull. 56, No. 2, 317-325 (2013). MSC: 03E05 03E35 03E55 05C15 05C69 06A06 PDF BibTeX XML Cite \textit{F. G. Dorais}, Can. Math. Bull. 56, No. 2, 317--325 (2013; Zbl 1315.03077) Full Text: DOI arXiv
Dorais, François G.; Filipów, Rafał; Natkaniec, Tomasz On some properties of Hamel bases and their applications to Marczewski measurable functions. (English) Zbl 1259.28005 Cent. Eur. J. Math. 11, No. 3, 487-508 (2013). MSC: 28A20 26A15 03E35 26A51 PDF BibTeX XML Cite \textit{F. G. Dorais} et al., Cent. Eur. J. Math. 11, No. 3, 487--508 (2013; Zbl 1259.28005) Full Text: DOI
Dorais, François G. A variant of Mathias forcing that preserves \(\mathsf{ACA}_0\). (English) Zbl 1269.03020 Arch. Math. Logic 51, No. 7-8, 751-780 (2012). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03E40 03F35 PDF BibTeX XML Cite \textit{F. G. Dorais}, Arch. Math. Logic 51, No. 7--8, 751--780 (2012; Zbl 1269.03020) Full Text: DOI arXiv
Dorais, François G.; Hirst, Jeffry L.; Shafer, Paul Reverse mathematics, trichotomy and dichotomy. (English) Zbl 1296.03008 J. Log. Anal. 4, Article 13, 14 p. (2012). Reviewer: Alexander Kreuzer (Lyon) MSC: 03B30 03F35 03F55 03F60 PDF BibTeX XML Cite \textit{F. G. Dorais} et al., J. Log. Anal. 4, Article 13, 14 p. (2012; Zbl 1296.03008) Full Text: DOI
Corduan, Jared R.; Dorais, François G. On the indecomposability of \(\omega^n\). (English) Zbl 1260.03017 Notre Dame J. Formal Logic 53, No. 3, 373-395 (2012). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03F35 PDF BibTeX XML Cite \textit{J. R. Corduan} and \textit{F. G. Dorais}, Notre Dame J. Formal Logic 53, No. 3, 373--395 (2012; Zbl 1260.03017) Full Text: DOI Euclid arXiv