The Journal of Symbolic Logic