Journal of symbolic logic