1. Indestructibility, instances of strong compactness, and level by level inequivalence

   • Arthur W. Apter

   Original Article 20 July 2010 Pages: 725 - 741

2. On Bellissima’s construction of the finitely generated free Heyting algebras, and beyond

   • Luck Darnière
   • Markus Junker

   OriginalPaper 25 June 2010 Pages: 743 - 771

3. Consistency statements and iterations of computable functions in IΣ₁ and PRA

   • Joost J. Joosten

   Original Article 16 July 2010 Pages: 773 - 798

4. Small universal families for graphs omitting cliques without GCH

   • Katherine Thompson

   OriginalPaper 02 July 2010 Pages: 799 - 811

5. A note on da Costa-Doria “exotic formalizations”

   • L. Gordeev

   OriginalPaper 31 August 2010 Pages: 813 - 821