1. On relative enumerability of Turing degrees

   • Shamil Ishmukhametov

   Pages: 145 - 154

2. Extending Martin-Löf Type Theory by one Mahlo-universe

   • Anton Setzer

   Pages: 155 - 181

3. Vectorization hierarchies of some graph quantifiers

   • Lauri Hella
   • Juha Nurmonen

   Pages: 183 - 207

4. A new proof of a theorem of Magidor

   • Arthur W. Apter

   Pages: 209 - 211

5. The PCF Trichotomy Theorem does not hold for short sequences

   • Menachem Kojman
   • Saharon Shelah

   Pages: 213 - 218

6. Consistency of V = HOD with the wholeness axiom

   • Paul Corazza

   Pages: 219 - 226