Volume 156, Number 1, November 2008
: A domain model characterising strong normalisation.
: The associated sheaf functor theorem in algebraic set theory.
Paul B. Larson
: Martin's Maximum and definability in H(xaleph2).
: Ordinal analysis of non-monotone I-definable inductive definitions.
: Effectively closed sets of measures and randomness.
Volume 156, Numbers 2-3, December 2008