А. Ю. Коновалов, “Некорректность интуиционистской теории множеств относительно конструктивной семантики, основанной на гиперарифметических видах”, Интеллектуальные системы. Теория и приложения, 2019, том 23, выпуск 3,страницы 131

Часть 3. Математические модели

Некорректность интуиционистской теории множеств относительно конструктивной семантики, основанной на гиперарифметических видах

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

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

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