1. On some formalized conservation results in arithmetic

   • P. Clote
   • P. Hájek
   • J. Paris

   OriginalPaper Pages: 201 - 218

2. Some applications of computable one-one numberings

   • Martin Kummer

   OriginalPaper Pages: 219 - 230

3. Definability properties and the congruence closure

   • Xavier Caicedo

   OriginalPaper Pages: 231 - 240

4. Opérateurs de mise en mémoire et traduction de Gödel

   • Jean-Louis Krivine

   OriginalPaper Pages: 241 - 267

5. Patching ideal families on℘ _kλ

   • Christopher C. Leary

   OriginalPaper Pages: 269 - 275