Indestructibility, instances of strong compactness, and level by level inequivalence Arthur W. Apter Original Article 20 July 2010 Pages: 725 - 741
On Bellissima’s construction of the finitely generated free Heyting algebras, and beyond Luck DarnièreMarkus Junker OriginalPaper 25 June 2010 Pages: 743 - 771
Consistency statements and iterations of computable functions in IΣ1 and PRA Joost J. Joosten Original Article 16 July 2010 Pages: 773 - 798
Small universal families for graphs omitting cliques without GCH Katherine Thompson OriginalPaper 02 July 2010 Pages: 799 - 811
A note on da Costa-Doria “exotic formalizations” L. Gordeev OriginalPaper 31 August 2010 Pages: 813 - 821