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. 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. 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