Skip to main content


  • RASMUS BLANCK (a1) and ALI ENAYAT (a2)

Let $\left\langle {{W_n}:n \in \omega } \right\rangle$ be a canonical enumeration of recursively enumerable sets, and suppose T is a recursively enumerable extension of PA (Peano Arithmetic) in the same language. Woodin (2011) showed that there exists an index $e \in \omega$ (that depends on T) with the property that if ${\cal M}$ is a countable model of T and for some ${\cal M}$ -finite set s, ${\cal M}$ satisfies ${W_e} \subseteq s$ , then ${\cal M}$ has an end extension ${\cal N}$ that satisfies T + W e = s.

Here we generalize Woodin’s theorem to all recursively enumerable extensions T of the fragment ${{\rm{I}\rm{\Sigma }}_1}$ of PA, and remove the countability restriction on ${\cal M}$ when T extends PA. We also derive model-theoretic consequences of a classic fixed-point construction of Kripke (1962) and compare them with Woodin’s theorem.

Hide All
[1] Avigad, J., Formalizing forcing arguments in subsystems of second-order arithmetic . Annals of Pure and Applied Logic, vol. 82 (1996), pp. 165191.
[2] Beklemishev, L. and Visser, A., On the limit existence principles in elementary arithmetic and -consequences of theories . Annals of Pure and Applied Logic, vol. 136 (2005), pp. 5674.
[3] Blanck, R., Two consequences of Kripke’s lemma , Idées Fixes (Kaså, Martin, editor), University of Gothenburg Publications, 2014, pp. 4553.
[4] Boolos, G., The Logic of Provability, Cambridge University Press, Cambridge, 1979.
[5] Cornaros, C., Versions of Friedman’s theorem for fragments of PA,∼nickie/tmp/pls5/cornaros.pdf.
[6] D’Aquino, P., A sharpened version of McAloon’s theorem on initial segments of0 . Annals of Pure and Applied Logic, vol. 61 (1993), pp. 4962.
[7] Dimitracopoulos, C. and Paris, J., A note on a theorem of H. Friedman . Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 34 (1988), pp. 1317.
[8] Dimitracopoulos, C. and Paschalis, V., End extensions of models of weak arithmetic theories . Notre Dame Journal of Formal Logic, to appear.
[9] Enayat, A. and Wong, T., Model theory of . Annals of Pure and Applied Logic, to appear.
[10] Guaspari, D., Partially conservative extensions of arithmetic . Transaction of the American Mathematical Society, vol. 254 (1979), pp. 4768.
[11] Hájek, P., Interpretability and fragments of arithmetic . Arithmetic, Proof Theory, and Computational Complexity, Oxford University Press, Oxford, 1993, pp. 185196.
[12] Hájek, P. and Pudlák, P., Metamathematics of First-Order Arithmetic, Springer-Verlag, Berlin, 1993.
[13] Japaridze, G. and de Jongh, D., The logic of provability , Handbook of Proof Theory, North-Holland, Amsterdam, 1998, pp. 475546.
[14] Kaye, R., Models of Peano Arithmetic, Oxford University Press, Oxford, 1991.
[15] Kossak, R. and Schmerl, J., The Structure of Models of Peano Arithmetic, Oxford University Press, Oxford, 2006.
[16] Kripke, S., “Flexible” predicates of formal number theory . Proceedings of the American Mathematical Society, vol. 13 (1962), pp. 647650.
[17] Lindström, P., Aspects of Incompleteness, Lecture Notes in Logic, vol. 10, ASL Publications, 1997.
[18] McAloon, K., On the complexity of models of arithmetic, this Journal, vol. 47 (1982), pp. 403415.
[19] Ressayre, J.-P., Nonstandard universes with strong embeddings, and their finite approximations , Logic and Combinatorics, Contemporary Mathematics, vol. 65, American Mathematical Society, Providence, RI, 1987, pp. 333358.
[20] Rogers, H., Theory of Recursive Functions and Effective Computability, McGraw-Hill, Cambridge, MA, 1967.
[21] Shen, A., Are random axioms useful? Math. ArXiv,
[22] Simpson, S., Subsystems of Second Order Arithmetic, Springer-Verlag, Berlin, 1999.
[23] Smoryński, C., Modal Logic and Self-reference, Springer-Verlag, Berlin, 1985.
[24] Verbrugge, R. and Visser, A., A small reflection principle for bounded arithmetic, this Journal, vol. 59 (1994), pp. 785812.
[25] Woodin, W. H., A potential subtlety concerning the distinction between determinism and nondeterminism , Infinity, New Research Frontiers (Heller, M. and Woodin, W. H., editors), Cambridge University Press, Cambridge, 2011, pp. 119129.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Journal of Symbolic Logic
  • ISSN: 0022-4812
  • EISSN: 1943-5886
  • URL: /core/journals/journal-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *



Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed