Proof-theoretic analysis by iterated reflection L.D. Beklemishev OriginalPaper 07 March 2003 Pages: 515 - 552
Limit lemmas and jump inversion in the enumeration degrees Evan J. Griffiths OriginalPaper 07 March 2003 Pages: 553 - 562
Relating decision and search algorithms for rational points on curves of higher genus Minhyong Kim OriginalPaper 13 June 2003 Pages: 563 - 568
On ultraproducts of Boolean algebras and irr Saharon Shelah OriginalPaper 07 March 2003 Pages: 569 - 581
Density of the Medvedev lattice of Π0 1 classes Douglas CenzerPeter G. Hinman OriginalPaper 07 March 2003 Pages: 583 - 600