Volume 36, Number 1, December 1996
: Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals.
, Nicholas Bamber
: On two questions concerning the automorphism groups of countable recursively saturated models of PA.
Volume 36, Number 2, February 1997
: Set theory without choice: not everything on cofinality is possible.
: Existentially closed fields with holomorphy rings.
Volume 36, Number 3, April 1997
: Count( qq) versus the pigeon-hole principle.
: Hereditarily effective typestreams.
Volume 36, Numbers 4-5, August 1997
Richard A. Shore
: Conjectures and questions from Gerald Sacks's Degrees of Unsolvability.
: Closing the gap between the continuous functionals and recursion in 3E.
: Rank, join, and Cantor singletons.
Volume 36, Number 6, October 1997
: A hierarchy of filters smaller than CFkappalambda.
Maxim R. Burke
: A proof of Hechler's theorem on embedding Aleph1-directed sets cofinally into (ww, <*).
: Kolmogorov complexity and the second incompleteness theorem.
: A proof of strongly uniform termination for Gödel's TT by methods from local predicativity.
: La valeur d'un entier classique en lm\lambda\mu-calcul.