Russian Mathematical Surveys
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Impact factor
Submit a manuscript

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Uspekhi Mat. Nauk:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Russian Mathematical Surveys, 2018, Volume 73, Issue 4, Pages 569–613
DOI: https://doi.org/10.1070/RM9843
(Mi rm9843)
 

This article is cited in 7 scientific papers (total in 7 papers)

Reflection calculus and conservativity spectra

L. D. Beklemishev

Steklov Mathematical Institute of Russian Academy of Sciences, Moscow
References:
Abstract: Strictly positive logics have recently attracted attention both in the description logic and in the provability logic communities for their combination of efficiency and sufficient expressivity. The language of Reflection Calculus, RCRC, consists of implications between formulas built up from propositional variables and the constant ‘true’ using only conjunction and diamond modalities which are interpreted in Peano arithmetic as restricted uniform reflection principles.
The language of RCRC is extended by another series of modalities representing the operators associating with a given arithmetical theory TT its fragment axiomatized by all theorems of TT of arithmetical complexity Π0nΠ0n for all n>0n>0. It is noted that such operators, in a strong sense, cannot be represented in the full language of modal logic.
A formal system RCRC is formulated that extends RCRC and is sound and (it is conjectured) complete under this interpretation. It is shown that in this system one is able to express the iterations of reflection principles up to any ordinal <ε0<ε0. Second, normal forms are provided for its variable-free fragment. This fragment is thereby shown to be algorithmically decidable and complete with respect to its natural arithmetical semantics.
In the last part of the paper the Lindenbaum–Tarski algebra of the variable-free fragment of RCRC and its dual Kripke structure are characterized in several natural ways. Most importantly, elements of this algebra correspond to the sequences of proof-theoretic Π0n+1Π0n+1-ordinals of bounded fragments of Peano arithmetic called conservativity spectra, as well as to points of Ignatiev's well-known Kripke model.
Bibliography: 46 titles.
Keywords: strictly positive modal logic, RC, reflection principle, conservativity, ordinal.
Funding agency Grant number
Russian Science Foundation 16-11-10252
This work was supported by the Russian Science Foundation under grant no. 16-11-10252.
Received: 14.04.2018
Bibliographic databases:
Document Type: Article
UDC: 510.2+510.6
MSC: Primary 03F45; Secondary 03B45, 03G25
Language: English
Original paper language: Russian
Citation: L. D. Beklemishev, “Reflection calculus and conservativity spectra”, Russian Math. Surveys, 73:4 (2018), 569–613
Citation in format AMSBIB
\Bibitem{Bek18}
\by L.~D.~Beklemishev
\paper Reflection calculus and conservativity spectra
\jour Russian Math. Surveys
\yr 2018
\vol 73
\issue 4
\pages 569--613
\mathnet{http://mi.mathnet.ru/eng/rm9843}
\crossref{https://doi.org/10.1070/RM9843}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=3833507}
\zmath{https://zbmath.org/?q=an:7057822}
\adsnasa{https://adsabs.harvard.edu/cgi-bin/bib_query?2018RuMaS..73..569B}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000448388200001}
\elib{https://elibrary.ru/item.asp?id=35276497}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85055838780}
Linking options:
  • https://www.mathnet.ru/eng/rm9843
  • https://doi.org/10.1070/RM9843
  • https://www.mathnet.ru/eng/rm/v73/i4/p3
  • This publication is cited in the following 7 articles:
    1. Maciej Głowacki, Mateusz Łełyk, “Reflecting on believability: on the epistemic approach to justifying implicit commitments”, Philos Stud, 2024  crossref
    2. M. Łełyk, C. Nicolai, “Implicit commitment in a general setting”, Journal of Logic and Computation, 2023, exad025  crossref
    3. L. D. Beklemishev, “Conservativity spectra and Joosten–Fernández model”, Dokl. Math., 106:1 (2022), 213–217  mathnet  crossref  crossref  mathscinet  elib
    4. D. Fernández-Duque, E. Hermo-Reyes, “Deducibility and independence in Beklemishev's autonomous provability calculus”, Information and Computation, 287 (2022), 104758  crossref  mathscinet
    5. L. D. Beklemishev, F. N. Pakhomov, “Reflection algebras and conservation results for theories of iterated truth”, Annals of Pure and Applied Logic, 173:5 (2022), 103093  crossref  mathscinet
    6. F. Pakhomov, J. Walsh, “Reflection ranks and ordinal analysis”, J. Symb. Log., 86:4 (2021), PII S0022481220000092, 1350–1384  crossref  mathscinet  isi  scopus
    7. Lecture Notes in Computer Science, 11541, Logic, Language, Information, and Computation, 2019, 195  crossref
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Успехи математических наук Russian Mathematical Surveys
    Statistics & downloads:
    Abstract page:624
    Russian version PDF:108
    English version PDF:51
    References:74
    First page:24
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2025