A note on admissible rules and the disjunction property in intermediate logics Alexander Citkin OriginalPaper 18 October 2011 Pages: 1 - 14
Amalgamation through quantifier elimination for varieties of commutative residuated lattices Enrico Marchioni OriginalPaper 20 December 2011 Pages: 15 - 34
Proof-relevance of families of setoids and identity in type theory Erik Palmgren OriginalPaper 01 November 2011 Pages: 35 - 47
Creature forcing and large continuum: the joy of halving Jakob KellnerSaharon Shelah OriginalPaper 04 November 2011 Pages: 49 - 70
Proof analysis in intermediate logics Roy DyckhoffSara Negri OriginalPaper 20 November 2011 Pages: 71 - 92
Degrees of isomorphism types and countably categorical groups Aleksander Ivanov OriginalPaper 15 November 2011 Pages: 93 - 98
The Dirac delta function in two settings of Reverse Mathematics Sam SandersKeita Yokoyama OriginalPaper 23 November 2011 Pages: 99 - 121
Phase transitions of iterated Higman-style well-partial-orderings Lev GordeevAndreas Weiermann OriginalPaper 09 December 2011 Pages: 127 - 161
Bounded enumeration reducibility and its degree structure Daniele MarsibilioAndrea Sorbi OriginalPaper 20 December 2011 Pages: 163 - 186
Cardinal coefficients associated to certain orders on ideals Piotr Borodulin-NadziejaBarnabás Farkas OriginalPaper Open access 14 December 2011 Pages: 187 - 202
Ab initio generic structures which are superstable but not ω-stable Koichiro Ikeda OriginalPaper 18 December 2011 Pages: 203 - 211