\input zb-basic
\input zb-ioport
\iteman{io-port 05234719}
\itemau{von B\"ulow, Christopher}
\itemti{A remark on equivalent Rosser sentences.}
\itemso{Ann. Pure Appl. Logic 151, No. 1, 62-67 (2008).}
\itemab
The paper is devoted to the discussion of an oversight in the paper by {\it D. Guaspari} and {\it R. M. Solovay} [``Rosser sentences'', Ann. Math. Logic 16, 81--99 (1979; Zbl 0426.03062)]. This oversight is emended. It concerns the premisses of Guaspari and Solovay's proof. It is shown that the result holds up but the premisses mentioned in the original paper have to be strengthened.
\itemrv{Roman Murawski (Pozna\'n)}
\itemcc{}
\itemut{proof predicate; Rosser sentence; provability logic}
\itemli{doi:10.1016/j.apal.2007.10.002}
\end