1. A plus-1 theorem for sub-sections

   • S. S. Wainer

   OriginalPaper Pages: 101 - 105

2. On the lattice of extensions of the modal logics KAlt_n

   • Fabio Bellissima

   OriginalPaper Pages: 107 - 114

3. Rosser and mostowski sentences

   • Franco Montagna
   • Giovanni Sommaruga

   OriginalPaper Pages: 115 - 133

4. Recursively enumerablem- andtt-degrees II: The distribution of singular degrees

   • R. G. Downey

   OriginalPaper Pages: 135 - 147

5. Equivalence of bar recursors in the theory of functionals of finite type

   • Marc Bezem

   OriginalPaper Pages: 149 - 160

6. Cut-elimination and interpolation for Ω-logic

   • Jacqueline Vauzeilles

   OriginalPaper Pages: 161 - 175

7. The realm of primitive recursion

   • Harold Simmons

   OriginalPaper Pages: 177 - 188

8. On linearly ordered sets and permutation groups of countable degree

   • Hans Läuchli
   • Peter M. Neumann

   OriginalPaper Pages: 189 - 192

9. On a property of ω-stable solvable groups

   • Akito Tsuboi

   OriginalPaper Pages: 193 - 197