|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Упрощëнное доказательство теоремы об арифметической полноте для логики доказуемости GLPстатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК- Автор: Беклемишев Л.Д.
- Журнал: Труды Математического института им.В.А.Стеклова РАН
- Том: 274
- Год издания: 2011
- Издательство: МИАН
- Местоположение издательства: Москва
- Первая страница: 32
- Последняя страница: 40
- Аннотация: Мы даём упрощённое доказательство теоремы Г.Джапаридзе об арифметической полноте для полимодальной логики доказуемости GLP. Упрощение достигается за счёт использования фрагмента J теории GLP, имеющего более удобную семантику Крипке, чем фрагмент, рассматриваемый в работах Игнатьева и Булоса. Это, в частности, позволяет упростить используемую в доказательстве конструкцию арифметической неподвижной точки, приблизив её к стандартной конструкции Соловея.
- Добавил в систему: Беклемишев Лев Дмитриевич