Notes on a reduction property for GLP-algebras
Lev D. Beklemishev · arXiv (Cornell University) · 2016
We consider some natural generalizations to the class of all GLP-algebras of the so-called reduction property for reflection algebras in arithmetic. An analogue of this property is established for the free GLP-algebras and for some topological GLP-algebras (GLP-spaces).