Journal of Symbolic Logic