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.
D. C. Goldrei , A. Macintyre , and H. Simmons , The forcing companions of number theories. Israel Journal of Mathematics, vol. 14 (1973), pp. 317–337.
P. Hájek and P. Pudlák , Metamathematics of First-order Arithmetic, Perspectives in Mathematical Logic, Springer–Verlag, Berlin, 1993.
J. Hirschfeld and W. Wheeler , Forcing, Arithmetic, Division rings, Lecture Notes in Mathematics, vol. 454, Springer–Verlag, Berlin, 1975.
A. Macintyre and H. Simmons , Algebraic properties of number theories. Israel Journal of Mathematics, vol. 22 (1975), pp. 7–27.
K. McAloon , Completeness theorems, incompleteness theorems and models of arithmetic. Transactions of the American Mathematical Society, vol. 239 (1978), pp. 253–277.
A. J. Wilkie and J. B. Paris , On the scheme of induction for bounded arithmetic formulas. Annals of Pure and Applied Logic, vol. 35 (1987), pp. 261–302.