A dual form of Ramsey's theorem, Adv. in Math, vol.53, issue.3, pp.265-290, 1984. ,
The reverse mathematics of hindman's theorem for sums of exactly two elements, 2018. ,
Effectiveness for the dual ramsey theorem, 2017. ,
Issues and problems in reverse mathematics, Computability theory and its applications, vol.257, pp.127-144, 1999. ,
Effectiveness for infinite variable words and the dual Ramsey theorem, Arch. Math. Logic, vol.43, issue.4, pp.543-555, 2004. ,
Open questions in reverse mathematics, Bulletin of Symbolic Logic, vol.17, issue.03, pp.431-454, 2011. ,
Probabilistic constructions of computable objects and a computable version of lovász local lemma, Fundamenta Informaticae, vol.132, issue.1, pp.1-14, 2014. ,
Subsystems of Second Order Arithmetic, 2009. ,
People's Republic of China E-mail address: g.jiayi.liu@gmail.com LACL, 1997. ,
,
, Villeurbanne Cedex E-mail address: ludovic.patey@computability.fr