Volume 157, Number 1, January 2009
Volume 157, Numbers 2-3, February 2009
: Exact unprovability results for compound well-quasi-ordered combinatorial classes.
: A computable version of Banach's Inverse Mapping Theorem.
: o-minimal analytic separation of sets in dimension 2.
: Low-distortion embeddings of infinite metric spaces into the real line.
: A strong antidiamond principle compatible with CH.
: On lengths of proofs in non-classical logics.
: The strength of extensionality I - weak weak set theories with infinity.