On the reduction property for GLP-algebras
- Authors: Beklemishev L.D.1
-
Affiliations:
- Steklov Mathematical Institute
- Issue: Vol 95, No 1 (2017)
- Pages: 50-54
- Section: Mathematics
- URL: https://journals.rcsi.science/1064-5624/article/view/224746
- DOI: https://doi.org/10.1134/S106456241701015X
- ID: 224746
Cite item
Abstract
We consider a natural generalization to the class of all GLP-algebras of the so-called reduction property for the polymodal provability algebras in arithmetic. An analogue of this property is established for the free GLP-algebras and for some topological GLP-algebras (GLP-spaces).
About the authors
L. D. Beklemishev
Steklov Mathematical Institute
Author for correspondence.
Email: bekl@mi.ras.ru
Russian Federation, Moscow