Skip to main content
Log in

The logic of π1-conservativity

  • Published:
Archive for Mathematical Logic Aims and scope Submit manuscript

Abstract

We show that the modal prepositional logicILM (interpretability logic with Montagna's principle), which has been shown sound and complete as the interpretability logic of Peano arithmetic PA (by Berarducci and Savrukov), is sound and complete as the logic ofπ 1-conservativity over eachbE 1-sound axiomatized theory containingI⌆ 1 (PA with induction restricted tobE 1-formulas). Furthermore, we extend this result to a systemILMR obtained fromILM by adding witness comparisons in the style of Guaspari's and Solovay's logicR (this will be done in a separate continuation of the present paper).

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Berarducci, A.: The interpretability logic of Peano arithmetic. Thesis, University of California at Berkeley 1989 (to appear as an article J. Symb. Logic)

  2. de Jongh, D., Veltman, F.: Provability logics for relative interpretability. In: Proceedings of Heyting '88 (Bulgaria) (to appear)

  3. Guaspari, D.: Partially conservative extensions of arithmetic. Trans. Am. Math. Soc.254, 47–68 (1979)

    Google Scholar 

  4. Guaspari, D., Solovay, R.M.: Rosser sentences. Ann. Math. Logic16, 81–99 (1979)

    Google Scholar 

  5. Hájek, P.: On interpretability in set theories. I, II. Commentat.Math. Univ. Carol.12, 73–79 (1971);13, 445–455 (1972)

    Google Scholar 

  6. Hájek, P.: On interpretability in theories containing arithmetic. II.Commentat.Math. Univ. Carol.22, 677–688 (1981)

    Google Scholar 

  7. Hájek, P.: Partial conservativity revisited. Commentat. Math. Univ. Carol.28, 679–690 (1987)

    Google Scholar 

  8. Hájek, P.: On logic in fragments of arithmetic (manuscript)

  9. Hájek, P., Kučera, A.: On recursion theory inI⌆ 1. J. Symb. Logic54, 576–589 (1989)

    Google Scholar 

  10. Hájek, P., Pudlák, P.: The metamathematics of Peano arithmetic (a book in preparation)

  11. Savrukov, V.Yu.: The logic of relative interpretability over Peano arithmetic (preprint in Russian, Moscow 1988)

  12. Sieg, W.: Fragments of arithmetic. Ann. Pure Appl. Logic28, 33–71 (1985)

    Google Scholar 

  13. Smoryński, C.: An ubiquitous fixed point calculation (unpublished, 1981?)

  14. Smoryński, C.: Self-reference and modal logic. Berlin Heidelberg New York: Springer 1985

    Google Scholar 

  15. Solovay, R.M.: Provability interpretations of modal logic. Isr. J. Math.25, 287–304 (1976)

    Google Scholar 

  16. Svejdar, V.: Modal analysis of generalized Rosser sentences. J. Symb. Logic48, 986–999 (1983)

    Google Scholar 

  17. Visser, A.: Preliminary notes on interpretability logic. Logic Group Preprint Series University of Utrecht No. 29, 1988

  18. Visser, A.: Interpretability logic. Logic Group Preprint Series University of Utrecht 1988

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Hájek, P., Montagna, F. The logic of π1-conservativity. Arch Math Logic 30, 113–123 (1990). https://doi.org/10.1007/BF01634981

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01634981

Keywords

Navigation