Об одном усилении теоремы о неизоморфизме алгебр доказуемости

Мы получаем усиление теоремы В.Ю. Шаврукова о неизоморфизме алгебр доказуемости двух $\Sigma_1$-корректных теорий, основываясь на результатах, полученных Г. Адамссоном. Усиленное достаточное условие неизоморфизма позволяет построить новые примеры пар теорий с неизоморфными алгебрами. В частности, мы доказываем отсутствие эпиморфизмов из алгебры $(\mathfrak{L}_T,\square_T\square_T)$ на алгебру $(\mathfrak{L}_T,\square_T)$.