The journal of symbolic logic