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



Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024