1. The ∀∃-theory of the effectively closed Medvedev degrees is decidable

   • Joshua A. Cole
   • Takayuki Kihara

   OriginalPaper 19 September 2009 Pages: 1 - 16

2. Strict \({\Pi^1_1}\)-reflection in bounded arithmetic

   • António M. Fernandes

   OriginalPaper 03 November 2009 Pages: 17 - 34

3. Infima of d.r.e. degrees

   • Jiang Liu
   • Shenling Wang
   • Guohua Wu

   OriginalPaper 03 November 2009 Pages: 35 - 49

4. Degrees of categoricity of computable structures

   • Ekaterina B. Fokina
   • Iskander Kalimullin
   • Russell Miller

   OriginalPaper 03 November 2009 Pages: 51 - 67

5. Effectively inseparable Boolean algebras in lattices of sentences

   • V. Yu. Shavrukov

   OriginalPaper 14 November 2009 Pages: 69 - 89

6. Finding generic filters by playing games

   • Heike Mildenberger

   OriginalPaper 14 November 2009 Pages: 91 - 118