The polarized Ramsey’s theorem Damir D. DzhafarovJeffry L. Hirst OriginalPaper 31 October 2008 Pages: 141 - 157
A solution to Curry and Hindley’s problem on combinatory strong reduction Pierluigi Minari OriginalPaper 12 December 2008 Pages: 159 - 184
Counting proofs in propositional logic René DavidMarek Zaionc OriginalPaper 18 February 2009 Pages: 185 - 199
Parameterized partition relations on the real numbers Joan BagariaCarlos A. Di Prisco OriginalPaper 10 March 2009 Pages: 201 - 226