УДК 510.25, 510.54

О конструктивной теории перечислимых видов / В. Е. Плиско. // Вестн. Моск. ун-та. Сер. 1, Математика. Механика. 2017. № 2. С. 13-19.

Определяется конструктивная семантика языка теории множеств с атомами, основанная на интерпретации переменных по множествам как перечислимых видов. Полностью исследован вопрос о корректности аксиом теории множеств Цермело–Френкеля относительно введенной семантики.

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

Библиогр. 4.