Volume 68, Number 1, March 2003
: ZF + 'Every set is the same size as a wellfounded set'.
: Definable sets in Boolean ordered o-minimal structures. II.
: The Church-Rosser property in dual combinatory logic.
: The Steel hierarchy of ordinal valued Borel mappings.
: Some strongly undecidable natural arithmetical problems, with an application to intuitionistic theories.
: Inequivalent representations of geometric relation algebras.
: Separably closed fields with Hasse derivations.
Volume 68, Number 2, June 2003
: Automorphism groups of trivial strongly minimal structures.
Volume 68, Number 3, September 2003
: Discouraging results for ultraimaginary independence theory.
: The approximation structure of a computably approximable real.
: Differential forms in the model theory of differential fields.
: Embedding jump upper semilattices into the Turing degrees.
Joan Rand Moschovakis
: Classical and constructive hierarchies in extended intuitionistic analysis.
Volume 68, Number 4, December 2003
: A theory for Log-Space and NLIN versus coNLIN.
, J. K. Truss
: Recovering ordered structures from quotients of their automorphism groups.
, Karim Nour
: A short proof of the strong normalization of classical natural deduction with disjunction.
: The Kolmogorov-Loveland stochastic sequences are not closed under selecting subsequences.
: On countable simple unidimensional theories.
, M. Okada
: A proof-theoretic study of the correspondence of classical logic and modal logic.
, Makoto Tatsuta
: Corrigendum to "Strong normalization proof with CPS-translation for second order classical natural deduction".