А. Ю. Коновалов, В. Е. Плиско, “О гиперарифметической реализуемости”, Матем. заметки, 2015, том 98, выпуск 5,страницы 725

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

О гиперарифметической реализуемости

А. Ю. Коновалов, В. Е. Плиско

Московский государственный университет имени М.В.Ломоносова

Аннотация: Вводится понятие гиперарифметической реализуемости для различных расширений языка формальной арифметики. Исследуется вопрос о корректности классической, интуиционистской и базисной логики относительно семантики, основанной на гиперарифметической реализуемости.
Библиография: 8 названий.

УДК: 510.25+510.64

Поступило: 13.03.2015

DOI: 10.4213/mzm10735