А. Ю. Коновалов, “Абсолютная $L$-реализуемость и интуиционистская логика”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2019, номер 2,страницы 50

Эта публикация цитируется в 6 статьях

Краткие сообщения

Абсолютная $L$-реализуемость и интуиционистская логика

А. Ю. Коновалов

Московский государственный университет имени М. В. Ломоносова, механико-математический факультет

Аннотация: Для каждого счетного расширения $L$ языка арифметики определяется абсолютная $L$-реализуемость предикатных формул. Доказывается, что интуиционистская логика не является корректной относительно этих семантик.

Ключевые слова: конструктивная семантика, реализуемость, абсолютная реализуемость, формальная арифметика, интуиционистская логика.

УДК: 510.25+510.64

Поступила в редакцию: 20.06.2018