Аксиома конструктивности и кратная отделимость и неотделимость в классах аналитической иерархии З.И. Козлова — 1964 Sibirskij matematiceskij zurnal