?
On the Reduction Property for GLP-Algebras
Doklady Mathematics. 2017. Vol. 95. No. 1. P. 50–54.
Beklemishev L. D.
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).