Journals in DBLP

Arch. Math. Log.
1998, volume: 37, number: 2

1. 
   A direct independence proof of Buchholz's Hydra Game on finite labeled trees. [Citation Graph (, )][DBLP]
   
   
2. 
   The theory of [(Z)\vec]C(2)²{\vec Z}C(2)^2-lattices is decidable. [Citation Graph (, )][DBLP]
   
   
3. 
   A jump operator on honest subrecursive degrees. [Citation Graph (, )][DBLP]
   
   
4. 
   The decision problem for [(Z)\vec]C(p³){\vec Z}C(p^3)-lattices with pp prime. [Citation Graph (, )][DBLP]