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.
L. Beklemishev and A. Visser ,
On the limit existence principles in elementary arithmetic and
-consequences of theories
. Annals of Pure and Applied Logic, vol. 136 (2005), pp. 56–74.
C. Dimitracopoulos and J. Paris ,
A note on a theorem of H. Friedman
. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 34 (1988), pp. 13–17.
D. Guaspari ,
Partially conservative extensions of arithmetic
. Transaction of the American Mathematical Society, vol. 254 (1979), pp. 47–68.
P. Hájek and P. Pudlák , Metamathematics of First-Order Arithmetic, Springer-Verlag, Berlin, 1993.
R. Kossak and J. Schmerl , The Structure of Models of Peano Arithmetic, Oxford University Press, Oxford, 2006.
P. Lindström , Aspects of Incompleteness, Lecture Notes in Logic, vol. 10, ASL Publications, 1997.
J.-P. Ressayre ,
Nonstandard universes with strong embeddings, and their finite approximations
, Logic and Combinatorics, Contemporary Mathematics, vol. 65, American Mathematical Society, Providence, RI, 1987, pp. 333–358.
S. Simpson , Subsystems of Second Order Arithmetic, Springer-Verlag, Berlin, 1999.
C. Smoryński , Modal Logic and Self-reference, Springer-Verlag, Berlin, 1985.
W. H. Woodin ,
A potential subtlety concerning the distinction between determinism and nondeterminism
, Infinity, New Research Frontiers ( M. Heller and W. H. Woodin , editors), Cambridge University Press, Cambridge, 2011, pp. 119–129.