Notre Dame Journal of Formal Logic

Interpolation and the Interpretability Logic of PA

Evan Goris

Full-text: Open access

Enhanced PDF (829 KB) PDF File (776 KB)

Abstract

In this paper we will be concerned with the interpretability logic of PA and in particular with the fact that this logic, which is denoted by ILM, does not have the interpolation property. An example for this fact seems to emerge from the fact that ILM cannot express Σ₁-ness. This suggests a way to extend the expressive power of interpretability logic, namely, by an additional operator for Σ₁-ness, which might give us a logic with the interpolation property. We will formulate this extension, give an axiomatization which is modally complete and arithmetically complete (although for proofs of these theorems we refer to an earlier paper), and investigate interpolation. We show that this logic still does not have the interpolation property.

Article information

Source
Notre Dame J. Formal Logic, Volume 47, Number 2 (2006), 179-195.

Dates
First available in Project Euclid: 25 July 2006

Permanent link to this document
https://projecteuclid.org/euclid.ndjfl/1153858645

Digital Object Identifier
doi:10.1305/ndjfl/1153858645

Mathematical Reviews number (MathSciNet)
MR2240618

Zentralblatt MATH identifier
1114.03048

Subjects
Primary: 03B45: Modal logic (including the logic of norms) {For knowledge and belief, see 03B42; for temporal logic, see 03B44; for provability logic, see also 03F45}
Secondary: 03F30: First-order arithmetic and fragments

Keywords
provability logic interpretability logic interpolation

Citation

Goris, Evan. Interpolation and the Interpretability Logic of PA. Notre Dame J. Formal Logic 47 (2006), no. 2, 179--195. doi:10.1305/ndjfl/1153858645. https://projecteuclid.org/euclid.ndjfl/1153858645


Export citation

References

  • [1] Areces, C., E. Hoogland, and D. H. J. de Jongh, "Interpolation, definability and fixed points in interpretability logics", pp. 35--58 in Advances in Modal Logic. Vol. 2, edited by M. Zakharyaschev, K. Segerberg, M. de Rijke, and H. Wansing, vol. 119 of CSLI Lecture Notes, CSLI Publications, Stanford, 2001. Selected papers from the 2nd International Workshop (AiML'98) Uppsala, 1998.
    Mathematical Reviews (MathSciNet): MR1838243
    Zentralblatt MATH: 0979.00027
  • [2] Beklemishev, L., "Notes on local reflection principles. The arithmetization of metamathematics", Theoria, vol. 63 (1997), pp. 139--46.
    Mathematical Reviews (MathSciNet): MR1730696
  • [3] Berarducci, A., "The interpretability logic of Peano arithmetic", The Journal of Symbolic Logic, vol. 55 (1990), pp. 1059--89.
    Mathematical Reviews (MathSciNet): MR1071315
    Zentralblatt MATH: 0725.03037
    Digital Object Identifier: doi:10.2307/2274474
    Project Euclid: euclid.jsl/1183743406
  • [4] Boolos, G., The Logic of Provability, Cambridge University Press, Cambridge, 1993.
    Mathematical Reviews (MathSciNet): MR1260008
    Zentralblatt MATH: 0891.03004
  • [5] de Jongh, D. H. J., and F. Veltman, "Modal completeness of IL\sf W" Essays Dedicated to Johan van Benthem on the Occasion of His 50th Birthday, edited by J. Gerbrandy, M. Marx, M. Rijke, and Y. Venema, Amsterdam University Press, Amsterdam, 1999. http://www.illc.uva.nl/j50/.
  • [6] de Jongh, D., and F. Veltman, "Provability logics for relative interpretability", pp. 31--42 in Mathematical Logic (Proceedings of the 1988 Heyting Summer School), edited by P. Petkov, Plenum, New York, 1990.
    Mathematical Reviews (MathSciNet): MR1083984
    Zentralblatt MATH: 0794.03026
  • [7] de Jongh, D., and A. Visser, "Explicit fixed points in interpretability logic", Studia Logica, vol. 50 (1991), pp. 39--49.
    Mathematical Reviews (MathSciNet): MR1152779
    Zentralblatt MATH: 0744.03020
    Digital Object Identifier: doi:10.1007/BF00370386
  • [8] Dzhaparidze, G., "The logic of arithmetical hierarchy", Annals of Pure and Applied Logic, vol. 66 (1994), pp. 89--112.
    Mathematical Reviews (MathSciNet): MR1262432
    Zentralblatt MATH: 0804.03045
    Digital Object Identifier: doi:10.1016/0168-0072(94)90063-9
  • [9] Goris, E., "Extending IL\sf M" with an operator for $\Sigma_1$-ness, Technical Report PP-2003-17, ILLC, Amsterdam, 2003. Preprint.
  • [10] Hájek, P., and F. Montagna, "The logic of $\Pi\sb 1$"-conservativity, Archive for Mathematical Logic, vol. 30 (1990), pp. 113--23.
    Mathematical Reviews (MathSciNet): MR1075648
    Zentralblatt MATH: 0713.03007
    Digital Object Identifier: doi:10.1007/BF01634981
  • [11] Ignatiev, K. N., "The provability logic for $\Sigma\sb 1$"-interpolability, Annals of Pure and Applied Logic, vol. 64 (1993), pp. 1--25.
    Mathematical Reviews (MathSciNet): MR1241249
    Zentralblatt MATH: 0802.03014
    Digital Object Identifier: doi:10.1016/0168-0072(93)90212-V
  • [12] Japaridze, G., and D. de Jongh, "The logic of provability", pp. 475--546 in Handbook of Proof Theory, edited by S. R. Buss, vol. 137 of Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 1998.
    Mathematical Reviews (MathSciNet): MR1640331
    Zentralblatt MATH: 0915.03019
    Digital Object Identifier: doi:10.1016/S0049-237X(98)80022-0
  • [13] Joosten, J. J., and E. Goris, "Modal Matters in Interpretability Logics", Technical Report LGPS-226, University of Utrecht, March 2004. Preprint.
  • [14] Shavrukov, V. Y., "The logic of relative interpretability over Peano arithmetic", Technical Report 5, Stekhlov Mathematical Institute, Moscow, 1988. (In Russian).
  • [15] Solovay, R. M., "Provability interpretations of modal logic", Israel Journal of Mathematics, vol. 25 (1976), pp. 287--304.
    Mathematical Reviews (MathSciNet): MR0457153
    Zentralblatt MATH: 0352.02019
    Digital Object Identifier: doi:10.1007/BF02757006
  • [16] Visser, A., "Interpretability logic", pp. 175--209 in Mathematical Logic (Proceedings of the 1988 Summer School), edited by P. Petkov, Plenum, New York, 1990.
    Mathematical Reviews (MathSciNet): MR1083994
    Zentralblatt MATH: 0793.03064
  • [17] Visser, A., "An overview of interpretability logic", pp. 307--59 in Advances in Modal Logic, Vol. 1 (Berlin, 1996), edited by M. Kracht, M. Rijke, and H. Wansing, vol. 87 of CSLI Lecture Notes, CSLI Publications, Stanford, 1998.
    Mathematical Reviews (MathSciNet): MR1688529
    Zentralblatt MATH: 0915.03020

Duke University Press

Notre Dame Journal of Formal Logic

New content alerts

Email RSS ToC RSS Article
  • You have access to this content.
  • You have partial access to this content.
  • You do not have access to this content.
Turn Off MathJax

What is MathJax?

More like this

+ See more