Volume 57, Number 1, February 2011 Original Papers
: The finiteness of compact Boolean algebras.
: Winning strategies in club games and their applications.
: Existence of partial transposition means representability in cylindric algebras.
Luca Motto Ros
: Game representations of classes of piecewise definable functions.
Volume 57, Number 2, April 2011 Research Articles
Volume 57, Number 3, June 2011 Original Paper
: On definability of types of finite Cantor-Bendixson rank.
: The cohesive principle and the Bolzano-Weierstraß principle.
: Extending constructive operational set theory by impredicative principles.
: Truth-table Schnorr randomness and truth-table reducible randomness.
Volume 57, Number 4, August 2011
: Models of expansions of &equation image; with no end extensions.
: Nisan-Wigderson generators in proof systems with forms of interpolation.
Tarek Sayed Ahmed
: On the complexity of axiomatizations of the class of representable quasi-polyadic equality algebras.
: Notes on Craig interpolation for LJ with strong negation.
Volume 57, Number 5, October 2011 Research Articles
Volume 57, Number 6, December 2011 Research Articles