|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
On a constructive theory of enumerable speciesдоклад на конференции
- Автор: Valerii Plisko
- Международная Конференция : VII International Joint Conference of the Georgian Mathematical Union & Georgian Mechanical Union: Continuum Mechanics and Related Problems of Analysis, Batumi (Georgia), September 5-9, 2016
- Даты проведения конференции: 5 сентября - 9 октября 2016
- Дата доклада: 5 сентября 2016
- Тип доклада: Стендовый
- Докладчик: не указан
- Место проведения: Батуми, Georgia
-
Аннотация доклада:
Определяется конструктивная семантика для языка теории множеств с атомами, основанная на трактовке множеств как рекурсивно перечислимых видов. Полностью исследован вопрос о корректности аксиом теории множеств с атомами ZFA относительно введенной семантики.
- Добавил в систему: Плиско Валерий Егорович