1. Two applications of Boolean models

   • Thierry Coquand

   Pages: 143 - 147

2. Consistency proof via pointwise induction

   • Toshiyasu Arai

   Pages: 149 - 165

3. All finitely axiomatizable subframe logics containing the provability logic CSM\(_{0}\) are decidable

   • Frank Wolter

   Pages: 167 - 182

4. Mob families and mad families

   • Jörg Brendle

   Pages: 183 - 197

5. A characterization of the \(\Sigma_1\)-definable functions of \(KP\omega + (uniform\; AC)\)

   • Wolfgang Burr
   • Volker Hartung

   Pages: 199 - 214