FRG: Collaborative Research:
Computability-Theoretic Aspects of Combinatorics

About
Abstract
News
Publications

Publications

  1. Damir D. Dzhafarov, Denis R. Hirschfeldt, and Sarah C. Reitzes, “Reduction games, provability, and compactness”, submitted.
  2. Linda Brown Westrick, “Completely determined Borel sets and measurability”, submitted.
  3. Paul-Elliot Anglès d’Auriac, Peter A. Cholak, Damir D. Dzhafarov, Benoit Monin, and Ludovic Patey, “Milliken’s tree theorem and its applications: a computability-theoretic perspective,” submitted.
  4. Peter A. Cholak, Damir D. Dzhafarov, Denis R. Hirschfeldt, and Ludovic Patey, “Some results concerning the SRT22 vs. COH problem,” Computability, to appear.
  5. Caleb Davis, Denis R. Hirschfeldt, Jeffry L. Hirst, Jake Pardo, Arno Pauly, and Keita Yokoyama, “Combinatorial principles equivalent to weak induction,” Computability, to appear.
  6. Damir D. Dzhafarov and Ludovic Patey, “COH, SRT22, and multiple functionals,” Computability, to appear.
  7. Linda Brown Westrick, “A note on the diamond operator,” Computability, to appear.
  8. Denis R. Hirschfeldt, “A minimal pair in the generic degrees,” Journal of Symbolic Logic, vol. 85 (2020), 531–537.
  9. Eric P. Astor, Damir D. Dzhafarov, Antonio Montalbán, Reed Solomon, and Linda B. Westrick, “The determined property of Baire in reverse math,” Journal of Symbolic Logic, vol. 85 (2020), 166–198.
  10. Barbara F. Csima, Damir D. Dzhafarov, Denis R. Hirschfeldt, Carl G. Jockusch, Jr., Reed Solomon, and Linda Brown Westrick, “The reverse mathematics of Hindman’s theorem for sums of exactly two elements,” Computability, vol. 8 (2020), 253–263.
  11. Damir D. Dzhafarov, Jun Le Goh, Denis R. Hirschfeldt, Ludovic Patey, and Arno Pauly, “Ramsey’s theorem and products in the Weihrauch degrees,” Computability, vol. 9 (2020), 85–100.
  12. Francois G. Dorais, Zachary Evans, Marcia Groszek, Seth Harris, and Theodore A. Slaman, “Schmerl decompositions in first order arithmetic,” Annals of Pure and Applied Logic, vol. 170 (2019).