Notes on a reduction property for GLP-algebras
Logic
2016-06-02 v1
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).
Cite
@article{arxiv.1606.00290,
title = {Notes on a reduction property for GLP-algebras},
author = {L. D. Beklemishev},
journal= {arXiv preprint arXiv:1606.00290},
year = {2016}
}
Comments
8 pages