|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
A note on isomorphisms of provability algebrasдоклад на конференции
- Автор: Kolmakov E.A.
- Международная Конференция (Семинар (workshop)) : Wormshop 2019 (The 5th Workshop on Proof Theory, Modal Logic and Reflection Principles)
- Даты проведения конференции: 5-8 ноября 2019
- Дата доклада: 5 ноября 2019
- Тип доклада: Устный
- Докладчик: Kolmakov E.A.
- Место проведения: Barcelona, Spain, Spain
-
Аннотация доклада:
Several of the most well-known results on provability algebras of arithmetical theories were obtained by V. Yu. Shavrukov. In particular, he provided sufficient conditions for the existence and non-existence of isomorphisms between such algebras. Later the improvements to Shavrukov's non-isomorphism theorem were found by G. Adamsson. We discuss further refinements of these results and possible applications to the case of bimodal provability algebras.
- Добавил в систему: Колмаков Евгений Александрович