|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Некорректность теории множеств Цермело-Френкеля относительно конструктивной семантики, основанной на гиперарифметических видахстатья
- Автор: Коновалов А.Ю.
- Журнал: Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460)
- Том: 23
- Номер: 2
- Год издания: 2019
- Издательство: [б.и.]
- Местоположение издательства: М.
- Первая страница: 159
- Последняя страница: 162
- Аннотация: Определяется семантика реализуемости для формул языка теории множеств, основанная на гиперарифметических видах. Исследуется вопрос о корректности аксиом теории множеств Цермело-Френкеля относительной этой семантики.
- Добавил в систему: Коновалов Александр Юрьевич