Journals in DBLP

Arch. Math. Log.
1997, volume: 36, number: 6

1. 
   A hierarchy of filters smaller than CF_kappalambda. [Citation Graph (, )][DBLP]
   
   
2. 
   A proof of Hechler's theorem on embedding Aleph₁-directed sets cofinally into (w^w, <^*). [Citation Graph (, )][DBLP]
   
   
3. 
   Total objects in inductively defined types. [Citation Graph (, )][DBLP]
   
   
4. 
   Kolmogorov complexity and the second incompleteness theorem. [Citation Graph (, )][DBLP]
   
   
5. 
   A proof of strongly uniform termination for Gödel's TT by methods from local predicativity. [Citation Graph (, )][DBLP]
   
   
6. 
   La valeur d'un entier classique en lm\lambda\mu-calcul. [Citation Graph (, )][DBLP]