Volume 50, Number 1, January 2004
: A short proof of the preservation of the omegaomega-bounding property.
: A generalization of a conservativity theorem for classical versus intuitionistic arithmetic.
Jeffry L. Hirst
: Minima of initial segments of infinite sequences of reals.
: Finitely generated submodels of an uncountably categorical homogeneous structure.
: The cumulative hierarchy and the constructible universe of ZFA.
Volume 50, Number 2, March 2004
: Consequences of the failure of the axiom of choice in the theory of Lindelöf metric spaces.
: A solution to identities problem in 2-element HSI-algebras.
: Quasi-complements of the cappable degrees.
: Boolos-style proofs of limitative theorems.
Volume 50, Number 3, May 2004
Stephen M. Walk
: Lattice embeddings and array noncomputable degrees.
: On deciding the non-emptiness of 2SAT polytopes with respect to First Order Queries.
Volume 50, Numbers 4-5, September 2004
, Alex Simpson
: Two constructive embedding-extension theorems with applications to continuity principles and to Banach-Mazur computability.
: Approximation representations for reals and their wtt-degrees.
: Type-2 computability on spaces of integrable functions.
Daniel Silva Graça
: Some recent developments on Shannon's General Purpose Analog Computer.
: Computability and continuity in metric partial algebras equipped with computability structures.
: Characterizations of the class Deltata2 over Euclidean spaces.
: Some subrecursive versions of Grzegorczyk's Uniformity Theorem.
Volume 50, Number 6, October 2004
: Semi-proper forcing, remarkable cardinals, and Bounded Martin's Maximum.
James H. Schmerl
: Substructure lattices and almost minimal end extensions of models of Peano arithmetic.
Arthur W. Chou
, Ker-I Ko
: On the complexity of finding paths in a two-dimensional domain I: Shortest paths.
: Herbrandizing search problems in Bounded Arithmetic.
: Corrigendum to "Weak Arithmetics and Kripke Models".