О новом доказательстве теоремы Соловея

Хорошо известна теорема Соловея об арифметической полноте логики доказуемости Гёделя-Лёба $GL$. Техника разработанная Соловеем для доказательства этой теоремы в дальнейшем была использована для доказательства арифметической полноты ряда других логик. В доказательстве Соловея арифметические предложения, в рамках необходимых контрпримеров, строятся в качестве определенных арифметических неподвижных точек. В этом докладе будет рассказано новое доказательство арифметической полноты $GL$. В рамках этого доказательства необходимые арифметические предложения строятся непосредственным образом.