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

Статья опубликована в журнале из перечня ВАК

Работа с статьей


[1] Коновалов А. Ю. Некорректность теории множеств Цермело-Френкеля относительно конструктивной семантики, основанной на гиперарифметических видах // Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460). — 2019. — Т. 23, № 2. — С. 159–162. Определяется семантика реализуемости для формул языка теории множеств, основанная на гиперарифметических видах. Исследуется вопрос о корректности аксиом теории множеств Цермело-Френкеля относительной этой семантики.

Публикация в формате сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл скрыть