Notes on a reduction property for GLP-algebras

L.D. Beklemishev
DOI: https://doi.org/10.48550/arXiv.1606.00290
2016-06-01
Logic
Abstract: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).
What problem does this paper attempt to address?