1. A direct independence proof of Buchholz's Hydra Game on finite labeled trees

   • Masahiro Hamano
   • Mitsuhiro Okada

   Pages: 67 - 89

2. The theory of \({\vec Z}C(2)^2\)-lattices is decidable

   • Stefano Baratella
   • Carlo Toffalori

   Pages: 91 - 104

3. A jump operator on honest subrecursive degrees

   • Lars Kristiansen

   Pages: 105 - 125

4. The decision problem for \({\vec Z}C(p^3)\)-lattices with \(p\) prime

   • Carlo Toffalori

   Pages: 127 - 142