The ∀∃-theory of the effectively closed Medvedev degrees is decidable Joshua A. ColeTakayuki Kihara OriginalPaper 19 September 2009 Pages: 1 - 16
Strict \({\Pi^1_1}\)-reflection in bounded arithmetic António M. Fernandes OriginalPaper 03 November 2009 Pages: 17 - 34
Infima of d.r.e. degrees Jiang LiuShenling WangGuohua Wu OriginalPaper 03 November 2009 Pages: 35 - 49
Degrees of categoricity of computable structures Ekaterina B. FokinaIskander KalimullinRussell Miller OriginalPaper 03 November 2009 Pages: 51 - 67
Effectively inseparable Boolean algebras in lattices of sentences V. Yu. Shavrukov OriginalPaper 14 November 2009 Pages: 69 - 89
Finding generic filters by playing games Heike Mildenberger OriginalPaper 14 November 2009 Pages: 91 - 118