Volume 135, Numbers 1-3, September 2005
: The elementary theory of Dedekind cuts in polynomially bounded structures.
: Upper and lower Ramsey bounds in bounded arithmetic.
: Two simple sets that are not positively Borel.
: Constructive completions of ordered sets, groups and fields.
: Geometric axioms for existentially closed Hasse fields.