1. On fields definable inQ _p

   • Anand Pillay

   OriginalPaper Pages: 1 - 7

2. The metamathematics of scattered linear orderings

   • P. Clote

   OriginalPaper Pages: 9 - 20

3. Iterations of Boolean algebras with measure

   • Anastasis Kamburelis

   OriginalPaper Pages: 21 - 28

4. Systems of iterated projective ordinal notations and combinatorial statements about binary labeled trees

   • L. Gordeev

   OriginalPaper Pages: 29 - 46

   

5. Algebraic disguises ofΣ ₁ ⁰ induction

   • Kostas Hatzikiriakou

   OriginalPaper Pages: 47 - 51

6. Directed frames

   • Giovanna Corsi
   • Silvio Ghilardi

   OriginalPaper Pages: 53 - 67