Мақаланы E-mail арқылы жіберу On the reduction property for GLP-algebras
- Авторлар: Beklemishev L.D.1
-
Мекемелер:
- Steklov Mathematical Institute
- Шығарылым: Том 95, № 1 (2017)
- Беттер: 50-54
- Бөлім: Mathematics
- URL: https://journals.rcsi.science/1064-5624/article/view/224746
- DOI: https://doi.org/10.1134/S106456241701015X
- ID: 224746
Дәйексөз келтіру
Ашық рұқсат
Рұқсат берілді
Тек жазылушылар үшін
Аннотация
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
Қосымша файлдар
