|
This article is cited in 9 scientific papers (total in 9 papers)
Reflection algebras and conservation results for theories of iterated truth
Lev D. Beklemishev, Fedor N. Pakhomov Steklov Mathematical Institute of Russian Academy of Sciences, Gubkina str. 8, 119991 Moscow, Russia
Received: 29.10.2019 Revised: 01.11.2021 Accepted: 04.01.2022
Linking options:
https://www.mathnet.ru/eng/apal4
|
Statistics & downloads: |
Abstract page: | 110 |
|