On the reduction property for GLP-algebras
- 作者: Beklemishev L.1
-
隶属关系:
- Steklov Mathematical Institute
- 期: 卷 95, 编号 1 (2017)
- 页面: 50-54
- 栏目: Mathematics
- URL: https://journals.rcsi.science/1064-5624/article/view/224746
- DOI: https://doi.org/10.1134/S106456241701015X
- ID: 224746
如何引用文章
详细
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).