J. Symbolic Logic