1. Formal spaces and their effective presentations

   • Inger Sigstam

   OriginalPaper Pages: 211 - 246

2. The discontinuity of splitting in the recursively enumerable degrees

   • S. Barry Cooper
   • Xiaoding Yi

   OriginalPaper Pages: 247 - 256

3. On uncountable cardinal sequences for superatomic Boolean algebras

   • Juan Carlos Martínez

   OriginalPaper Pages: 257 - 261

4. A proof of Shelah's partition theorem

   • Menachem Kojman

   OriginalPaper Pages: 263 - 268

5. Some extensions of the principles of idealization transfer and choice in the relative internal set theory

   • Yves Péraire

   OriginalPaper Pages: 269 - 277

6. A note on theΠ ₂ ⁰ -induction rule

   • Ulrich Kohlenbach

   OriginalPaper Pages: 279 - 283