- Published 2008 in Ann. Pure Appl. Logic
DOI:10.1016/j.apal.2007.10.002

An oversight in Guaspari and Solovay’s “Rosser sentences” (1979, Ann. Math. Log., 16, 81) is pointed out and emended. It concerns the premisses of their proof that there are standard proof predicates all of whose Rosser sentences are provably equivalent. The result holds up, but the premisses mentioned in the paper have to be strengthened somewhat.