A direct independence proof of Buchholz's Hydra Game on finite labeled trees Masahiro HamanoMitsuhiro Okada Pages: 67 - 89
The theory of \({\vec Z}C(2)^2\)-lattices is decidable Stefano BaratellaCarlo Toffalori Pages: 91 - 104
The decision problem for \({\vec Z}C(p^3)\)-lattices with \(p\) prime Carlo Toffalori Pages: 127 - 142