Journals in DBLP

Arch. Math. Log.
2003, volume: 42, number: 6

1. Lev D. Beklemishev
   Proof-theoretic analysis by iterated reflection. [Citation Graph (0, 0)][DBLP]
   Arch. Math. Log., 2003, v:42, n:6, pp:515-552 [Journal]
   
2. Evan J. Griffiths
   Limit lemmas and jump inversion in the enumeration degrees. [Citation Graph (0, 0)][DBLP]
   Arch. Math. Log., 2003, v:42, n:6, pp:553-562 [Journal]
   
3. Minhyong Kim
   Relating decision and search algorithms for rational points on curves of higher genus. [Citation Graph (0, 0)][DBLP]
   Arch. Math. Log., 2003, v:42, n:6, pp:563-568 [Journal]
   
4. Saharon Shela
   On ultraproducts of Boolean algebras and irr. [Citation Graph (0, 0)][DBLP]
   Arch. Math. Log., 2003, v:42, n:6, pp:569-581 [Journal]
   
5. Douglas A. Cenzer, Peter G. Hinman
   Density of the Medvedev lattice of Pi01 classes. [Citation Graph (0, 0)][DBLP]
   Arch. Math. Log., 2003, v:42, n:6, pp:583-600 [Journal]
   
6. Ludomir Newelski
   Very simple theories without forking. [Citation Graph (0, 0)][DBLP]
   Arch. Math. Log., 2003, v:42, n:6, pp:601-16 [Journal]