T. J. Carlson and S. G. Simpson, A dual form of Ramsey's theorem, Adv. in Math, vol.53, issue.3, pp.265-290, 1984.

. Barbara-f-csima, D. Damir, D. R. Dzhafarov, C. Hirschfeldt, R. Jr et al., The reverse mathematics of hindman's theorem for sums of exactly two elements, 2018.

R. Solomon-linda-brown-westrick-damir, D. Dzhafarov, and S. Flood, Effectiveness for the dual ramsey theorem, 2017.

H. Friedman and S. G. Simpson, Issues and problems in reverse mathematics, Computability theory and its applications, vol.257, pp.127-144, 1999.

J. S. Miller and R. Solomon, Effectiveness for infinite variable words and the dual Ramsey theorem, Arch. Math. Logic, vol.43, issue.4, pp.543-555, 2004.

A. Montalbán, Open questions in reverse mathematics, Bulletin of Symbolic Logic, vol.17, issue.03, pp.431-454, 2011.

A. Rumyantsev and A. Shen, Probabilistic constructions of computable objects and a computable version of lovász local lemma, Fundamenta Informaticae, vol.132, issue.1, pp.1-14, 2014.

G. Stephen and . Simpson, Subsystems of Second Order Arithmetic, 2009.

T. A. Slaman, People's Republic of China E-mail address: g.jiayi.liu@gmail.com LACL, 1997.

J. Institut-camille,

, Villeurbanne Cedex E-mail address: ludovic.patey@computability.fr