Journal Of Symbolic Logic