This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.
T. Arai ,
Derivability conditions on Rosser’s provability predicates
. Notre Dame Journal of Formal Logic, vol. 31 (1990), no. 4, pp. 487–497.
D. Guaspari and R. M. Solovay ,
. Annals of Mathematical Logic, vol. 16 (1979), no. 1, pp. 81–99.
P. Hájek and P. Pudlák ,
Two orderings of the class of all countable models of Peano arithmetic
, Model Theory of Algebra and Arithmetic, Lecture Notes in Mathematics, vol. 834, Springer, Berlin Heidelberg, 1980, pp. 174–185.
P. Hájek and P. Pudlák , Metamathematics of First-Order Arithmetic, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1993.
T. Kurahashi ,
Henkin sentences and local reflection principles for Rosser provability
. Annals of Pure and Applied Logic, vol. 167 (2016), no. 2, pp. 73–94.