Volume 46, Number 1, January 2007
: Complex analysis in subsystems of second order arithmetic.
Volume 46, Number 2, February 2007
: Lifting elementary embeddings j: Vlambda -> Vlambda.
: Computational complexity of logical theories of one successor and another unary function.
Volume 46, Numbers 3-4, April 2007
Arthur W. Apter
: Supercompactness and level by level equivalence are compatible with indestructibility for strong compactness.
: Light affine lambda calculus and polynomial time strong normalization.
: Distinguishing non-standard natural numbers in a set theory within Lukasiewicz logic.
: NP-containment for the coherence test of assessments of conditional probability: a fuzzy logical approach.
Volume 46, Numbers 5-6, July 2007
: Analytic proof systems for lambda-calculus: the elimination of transitivity, and why it matters.
: Antichains in partially ordered sets of singular cofinality.
: Generalized quantifier and a bounded arithmetic theory for LOGCFL.
: Theories with constants and three countable models.
Volume 46, Number 7-8, May 2008
: Borel complexity and computability of the Hahn-Banach Theorem.