Упрощенное доказательство теоремы об арифметической полноте для логики доказуемости $\mathbf{GLP}$

Мы даем упрощенное доказательство теоремы Г. Джапаридзе об арифметической полноте для полимодальной логики доказуемости $\mathbf{GLP}$. Упрощение достигается за счет использования фрагмента $\mathbf J$ логики $\mathbf{GLP}$, имеющего более удобную семантику Крипке, чем фрагмент, рассматриваемый в работах Игнатьева и Булоса. Это, в частности, позволяет упростить используемую в доказательстве конструкцию арифметической неподвижной точки, приблизив ее к стандартной конструкции Соловея.