1. On the form of witness terms

   • Stefan Hetzl

   OriginalPaper 26 April 2010 Pages: 529 - 554

2. Relativized Schnorr tests with universal behavior

   • Nicholas Rupprecht

   OriginalPaper 12 May 2010 Pages: 555 - 570

3. Localizing the axioms

   • Athanassios Tzouvaras

   OriginalPaper 21 May 2010 Pages: 571 - 601

4. Glueing continuous functions constructively

   • Douglas S. Bridges
   • Iris Loeb

   OriginalPaper 26 May 2010 Pages: 603 - 616