|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
О конструктивной теории перечислимых видов.доклад на конференции
- Автор: Плиско В.Е.
- Международная Конференция : Ломоносовские чтения - 2017
- Даты проведения конференции: 17-26 апреля 2017
- Дата доклада: 19 апреля 2017
- Тип доклада: Устный
- Докладчик: не указан
- Место проведения: МГУ имени М.В. Ломоносова, Russia
-
Аннотация доклада:
Определяется конструктивная семантика языка теории множеств с атомами, основанная на интерпретации переменных по множествам как перечислимых видов. Полностью исследован вопрос о корректности аксиом теории множеств Цермело–Френкеля относительно введенной семантики.
- Добавил в систему: Плиско Валерий Егорович