On the reduction property for GLP-algebras


如何引用文章

全文:

开放存取 开放存取
受限制的访问 ##reader.subscriptionAccessGranted##
受限制的访问 订阅存取

详细

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).

作者简介

L. Beklemishev

Steklov Mathematical Institute

编辑信件的主要联系方式.
Email: bekl@mi.ras.ru
俄罗斯联邦, Moscow


版权所有 © Pleiades Publishing, Ltd., 2017
##common.cookie##