Volume 77, Number 1, March 2012
: Array nonrecursiveness and relative recursive enumerability.
M. E. Malliaris
: Hypergraph sequences as a tool for saturation of ultrapowers.
: Borel reducibility and Hölder(α) embeddability between Banach spaces.
: The complexity of squares in the group of isometries of the Baire space.
Volume 77, Number 2, June 2012
: On subgroups of the additive group in differentially closed fields.
Ahuva C. Shkop
: Henson and Rubel's theorem for Zilber's pseudoexponentiation.
Chris J. Conidis
: A real of strictly positive effective packing dimension that does not compute a real of effective packing dimension one.
: Multiplicative valued difference fields.
: A stochastic interpretation of propositional dynamic logic: expressivity.
Volume 77, Number 3, September 2012
: Herbrand consistency of some arithmetical theories.
Murdoch James Gabbay
: Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free.
: The tree property and the failure of the Singular Cardinal Hypothesis at ℵω2.
: Σ11-definability at uncountable regular cardinals.
Volume 77, Number 4, December 2012
James H. Schmerl
: A generalization of Sierpiński's paradoxical decompositions: Coloring semialgebraic grids.
: Reverse mathematics and a Ramsey-type König's Lemma.
, J. K. Truss
: Finitely generated free Heyting algebras: the well-founded initial segment.
: Simultaneous reflection and impossible ideals.