zbMATH — the first resource for mathematics

A short note on essentially \(\Sigma_1\) sentences. (English) Zbl 1270.03039
A modal formula \(F\) is essentially \(\Sigma_1\) with respect to theory \(T\) if, under any arithmetical interpretations \(\ast\) into \(T,\) \(F^\ast\) is a \(\Sigma_1\) formula. A. Visser proved in [Ann. Pure App. Logic 73, No. 1, 109–142 (1995; Zbl 0828.03008)] that a formula \(F\) of the provability logic GL (Gödel-Löb) is essentially \(\Sigma_1\) with respect to PA if and only if \(F\) is provably equivalent in GL to a disjunction of formulas of the form \(\square B\). In [Stud. Fuzziness Soft Comput. 24, 246–254 (1999; Zbl 0923.03025)], D. de Jongh and D. Pianigiani extended the result to system \(R\) of Guaspari-Solovay. E. Goris and J. J. Joosten classified in [Log. J. IGPL 16, No. 4, 371–412 (2008; Zbl 1162.03033); ibid. 20, No. 1, 1–21 (2012; Zbl 1252.03140)] all essentially \(\Sigma_1\) sentences of ILM (interpretability logic with Montagna principle) with respect to interpretations in essentially reflexive recursively enumerable arithmetical theories. In the paper under review, the authors show that a characterization of this kind can be obtained also for formulas of the interpretability logic ILP, with respect to any finitely axiomatizable \(\Sigma_1\)-sound extension of \(\mathrm{I}\Delta_0 + \mathrm{Supexp}.\) It is proved that the same characterization does not extend to \(\mathrm I\Delta_0+\mathrm{Exp}\) and a conjecture is formulated about essentially \(\Sigma_1\) ILP-formulas with respect to \(\mathrm I\Delta_0+\mathrm{Exp}.\)

03B45 Modal logic (including the logic of norms)
03F45 Provability logics and related algebras (e.g., diagonalizable algebras)
03F30 First-order arithmetic and fragments
Full Text: DOI
[1] Berarducci A.: The interpretability logic of Peano Arithmetic. J. Symb. Logic 55, 1050–1089 (1990) · Zbl 0725.03037
[2] de Jongh, D., Japaridze, G.: The logic of provability. In: Buss, S. (ed.) Handbook of Proof Theory. Studies in Logic and the Foundations of Mathematics, vol. 137, pp. 475–546. · Zbl 0915.03019
[3] Elsevier, Amsterdam (1998)de Jongh, D., Pianigiani, D.: Solution of a problem of D. Guaspari. In: Orlowska, E. (ed.) Logic at Work: In Memory of Helena Rasiowa, pp. 246–255. Springer-Physica Verlag, Heidelberg-New York (1999) · Zbl 0923.03025
[4] de Jongh, D., Veltan, F.: Provability logics for relative interpretability. In: Petkov, P. (eds.) Mathematical Logic, Proceedings of the Heyting 1988 Summer School in Varna, pp. 31–42. Plenum Press, Boston (1990) · Zbl 0794.03026
[5] Guaspari D.: Sentences implying their own provability. J. Symb. Logic 48, 777–789 (1983) · Zbl 0547.03035
[6] Goris E., Joosten J.J.: Modal matters for interpretability logics. Logic J. IGPL 16(4), 371–412 (2008) · Zbl 1162.03033
[7] Goris E., Joosten J.J.: Self provers and {\(\Sigma\)}1 sentences. Logic J. IGPL 20(1), 1–21 (2012) · Zbl 1252.03140
[8] Guaspari D., Solovay R.: Rosser sentences. Ann. Math. Logic 16, 81–99 (1979) · Zbl 0426.03062
[9] Hájek P., Montagna F.: The logic of {\(\Pi\)}1-conservativity. Archiv für Mathematische Logik und Grundlagenforschung 30, 113–123 (1990) · Zbl 0713.03007
[10] Hájek P., Montagna F.: The logic of {\(\Pi\)}1-conservativity continued. Archiv für Mathematische Logik und Grundlagenforschung 32, 57–63 (1992) · Zbl 0790.03018
[11] Kalsbeek, M.B.: Towards the interpretability logic of I{\(\Delta\)}0 + Exp, Technical Report. Logic Group Preprint Series n. 61, Faculteit Wijsbegeerte van de Universiteit Utrecht (1991)
[12] Kent C.F.: The relation of A to $${Prov(\(\backslash\)lceil A\(\backslash\)rceil)}$$ in the Lindenbaum sentence algebra. J. Symbol. Logic 38, 359–367 (1973) · Zbl 0276.02031
[13] Smorynski C.: Self-reference and modal logic. Springer, New York (1985)
[14] Solovay R.: Provability interpretations of modal logic. Israel J. Math. 25, 287–304 (1976) · Zbl 0352.02019
[15] Visser, A.: Interpretability logic. In: Petkov, P. (ed.) Mathematical Logic, Proceedings of the Heyting 1988, Summer School in Varna, pp. 175–209. Plenum Press, Boston (1990) · Zbl 0793.03064
[16] Visser, A.: An overview of interpretability logic. In: Kracht, M., de Rijke, M., Wansing, H. (eds.) Advanced in Modal Logic ’96. pp. 307–359. CSLI Publications, Stanford (1997) · Zbl 0915.03020
[17] Visser A.: A course on bimodal provability logic. Ann. Pure Appl. Logic 73, 109–142 (1995) · Zbl 0828.03008
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.