RUS
ENG
Full version
JOURNALS
// Annals of Pure and Applied Logic
// Archive
Ann. Pure Appl. Logic, 2022, Volume 173, Issue 5,
Pages
103093–41
(Mi apal4)
This article is cited in
8
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
Language:
English
DOI:
10.1016/j.apal.2022.103093
Cited by
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2024