Izvestiya Rossiiskoi Akademii Nauk. Seriya Matematicheskaya
 RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
 General information Latest issue Forthcoming papers Archive Impact factor Subscription Guidelines for authors License agreement Submit a manuscript Search papers Search references RSS Latest issue Current issues Archive issues What is RSS

 Izv. RAN. Ser. Mat.: Year: Volume: Issue: Page: Find

 Izv. RAN. Ser. Mat., 2016, Volume 80, Issue 6, Pages 173–216 (Mi izv8440)

Linear $\mathrm{GLP}$-algebras and their elementary theories

F. N. Pakhomov

Steklov Mathematical Institute of Russian Academy of Sciences

Abstract: The polymodal provability logic $\mathrm{GLP}$ was introduced by Japaridze in 1986. It is the provability logic of certain chains of provability predicates of increasing strength. Every polymodal logic corresponds to a variety of polymodal algebras. Beklemishev and Visser asked whether the elementary theory of the free $\mathrm{GLP}$-algebra generated by the constants $\mathbf{0}$, $\mathbf{1}$ is decidable [1]. For every positive integer $n$ we solve the corresponding question for the logics $\mathrm{GLP}_n$ that are the fragments of $\mathrm{GLP}$ with $n$ modalities. We prove that the elementary theory of the free $\mathrm{GLP}_n$-algebra generated by the constants $\mathbf{0}$, $\mathbf{1}$ is decidable for all $n$. We introduce the notion of a linear $\mathrm{GLP}_n$-algebra and prove that all free $\mathrm{GLP}_n$-algebras generated by the constants $\mathbf{0}$, $\mathbf{1}$ are linear. We also consider the more general case of the logics $\mathrm{GLP}_\alpha$ whose modalities are indexed by the elements of a linearly ordered set $\alpha$: we define the notion of a linear algebra and prove the latter result in this case.

Keywords: provability logics, modal algebras, free algebras, elementary theories, Japaridze logic.

 Funding Agency Grant Number Russian Science Foundation 16-11-10252 This work is supported by the Russian Science Foundation under grant 16-11-10252.

DOI: https://doi.org/10.4213/im8440

Full text: PDF file (744 kB)
References: PDF file   HTML file

English version:
Izvestiya: Mathematics, 2016, 80:6, 1159–1199

Bibliographic databases:

UDC: 512.572
MSC: 03F45, 03B25

Citation: F. N. Pakhomov, “Linear $\mathrm{GLP}$-algebras and their elementary theories”, Izv. RAN. Ser. Mat., 80:6 (2016), 173–216; Izv. Math., 80:6 (2016), 1159–1199

Citation in format AMSBIB
\Bibitem{Pak16}
\by F.~N.~Pakhomov
\paper Linear $\mathrm{GLP}$-algebras and their elementary theories
\jour Izv. RAN. Ser. Mat.
\yr 2016
\vol 80
\issue 6
\pages 173--216
\mathnet{http://mi.mathnet.ru/izv8440}
\crossref{https://doi.org/10.4213/im8440}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=3588818}
\elib{https://elibrary.ru/item.asp?id=27484929}
\transl
\jour Izv. Math.
\yr 2016
\vol 80
\issue 6
\pages 1159--1199
\crossref{https://doi.org/10.1070/IM8440}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85011654118}

• http://mi.mathnet.ru/eng/izv8440
• https://doi.org/10.4213/im8440
• http://mi.mathnet.ru/eng/izv/v80/i6/p173

 SHARE:

Citing articles on Google Scholar: Russian citations, English citations
Related articles on Google Scholar: Russian articles, English articles

Related presentations:
•  Number of views: This page: 345 Full text: 51 References: 31 First page: 16