Enviar artigo por via de e-mail On the reduction property for GLP-algebras
- Autores: Beklemishev L.D.1
-
Afiliações:
- Steklov Mathematical Institute
- Edição: Volume 95, Nº 1 (2017)
- Páginas: 50-54
- Seção: Mathematics
- URL: https://journals.rcsi.science/1064-5624/article/view/224746
- DOI: https://doi.org/10.1134/S106456241701015X
- ID: 224746
Citar
Acesso aberto
Acesso está concedido
Somente assinantes
Resumo
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).
Sobre autores
L. Beklemishev
Steklov Mathematical Institute
Autor responsável pela correspondência
Email: bekl@mi.ras.ru
Rússia, Moscow
Arquivos suplementares
