ОБ ОДНОМ УСИЛЕНИИ ТЕОРЕМЫ О НЕИЗОМОРФИЗМЕ АЛГЕБР ДОКАЗУЕМОСТИ
Мы получаем усиление теоремы В.Ю. Шаврукова о неизоморфизме алгебр доказуемости двух Σ1-корректных теорий, основываясь на результатах, полученных Г. Адамссоном. Усиленное достаточное условие неизоморфизма позволяет построить новые примеры пар теорий с неизоморфными алгебрами. В частности, мы доказываем отсутствие эпиморфизмов из алгебры $({{\mathfrak{L}}_{T}},\,{{\square }_{T}}{{\square }_{T}})$ на алгебру $({{\mathfrak{L}}_{T}},{{\square }_{T}})$.