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

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

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

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

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

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