JOURNAL OF SYMBOLIC LOGIC