Ступенчатая семантическая система для теории множеств

В работе строится язык теории множеств на основе логики, конструктивной математики А. А. Маркова (см. РЖ Мат., 19) так, чтобы эта теория была близка к наиболее часто используемым в математике теоретико-множественным системам. Теория является многоуровневой, подобно теории типов, а внутри каждого уровня для обоснования семантики в конструктивном духе строится своя «башня языков». Изучены логические свойства построенной теории, введены первичные теоретико- множественные понятия и исследованы их свойства. Библ. 4 назв.