Volume 76, Number 1, March 2011
: Iterative differential Galois theory in positive characteristic: A model theoretic approach.
Vinicius Cifú Lopes
: Euler characteristics for strongly minimal groups and the eq-expansions of vector spaces.
: Coding true arithmetic in the Medvedev and Muchnik degrees.
: A theorem on partial conservativity in arithmetic.
: Hindman's theorem: an ultrafilter argument in second order arithmetic.
Volume 76, Number 2, June 2011
: Propriétés résiduelles dans les groupes supersimples.
Mark A. Fulk
: Robust separations in inductive inference.
Philip D. Welch
: Weak systems of determinacy and arithmetical quasi-inductive definitions.
: On Polish groups admitting a compatible complete left-invariant metric.
: Necessary use of Σ¹₁ induction in a reversal.
: ERNA and Friedman's Reverse Mathematics.
: A proof-theoretic treatment of λ-reduction with cut-elimination: λ-calculus as a logic programming language.
: A random set which only computes strongly jump-traceable c.e. sets.
Volume 76, Number 3, September 2011
: On dp-minimality, strong dependence and weight.
: Nonregular ultrafilters on ω2.
: A new spectrum of recursive models using an amalgamation construction.
: Relative enumerability and 1-genericity.
: Autonomous progression and transfinite iteration of self-applicable truth.
: Splitting definably compact groups in o-minimal structures.
: Weak compactness and no partial squares.
: Low5 Boolean subalgebras and computable copies.
Volume 76, Number 4, December 2011
: Relative Kolmogorov complexity and geometry.
: Relative decidability and definability in henselian valued fields.
: Finitely approximable groups and actions Part I: The Ribes - Zaluesskiĭ property.
: Finitely approximable groups and actions Part II: Generic representations.
: The additive group of the rationals does not have an automatic presentation.
: On relationships between algebraic properties of groups and rings in some model-theoretic contexts.
: MRP, tree properties and square principles.