Тогда множество G0 = {Ω6}∪ H(9) является порождающей системой класса H. <...> Кроме того, выполняется неравенство DG0 ПустьH —произвольный замкнутый класс функций из P3,2, такой, что prH = SM,G— произвольная конечная порождающая система класса H, f(x1,. ,xn) ∈ SM, n 10. <...> G класса H существует константа c = c(G), такая, что DG(H(n)) cn. <...> Соответствующая нижняя оценка следует из мощностных соображений. <...> Автор выражает благодарность профессору А. Б. Угольникову за внимание к работе. <...> Следовательно, для любого конечного базиса 61 4 , тальных исследований Отделения математических наук РАН “Алгебраические и комбинаторные методы математической кибернетики и информационные системы нового поколения”, проект “Задачи оптимального синтеза управляющих систем”. <...> О глубине и сложности формул, реализующих функции из замкнутых классов // Докл. <...> О глубине формул в неполных базисах // Математические вопросы кибернетики. <...> Глубина и сложность реализации формулами функций из некоторых классов трехзначной логики // Тез. докл. <...> Глубина формул в некоторых классах k-значной логики // Вестн. <...> Поступила в редакцию 09.12.2011 УДК 515.12 О НОРМАЛЬНЫХ ФУНКТОРАХ В КАТЕГОРИИ ПАРАКОМПАКТНЫХ p-ПРОСТРАНСТВ И ИХ СОВЕРШЕННЫХ ОТОБРАЖЕНИЙ М.А. <...> Добрынина1 Доказывается, что для любого паракомпактного p-пространства X и нормального функтора F степени 3 в категории P из наследственной нормальности пространства F(X) \X следует метризуемость пространства X. <...> It is proved that for any paracompact p-space X and any normal functor F of degree 3 in the category P the hereditary normality of the space F(X) \ X implies the metrizability of X. <...> Катетов [1] доказал, что из наследственной нормальности куба компакта следует его метризуемость. <...> В. В. Федорчук в работе [2] усилил результат Катетова, доказав следующую теорему. <...> 1Добрынина Мария Александровна — асп. каф. общей топологии и геометрии мех.-мат. ф-та МГУ, e-mail: mary_dobr@mail.ru. <...> Если для какого-нибудь нормального функтора F степени 3 компакт F(X) наследственно нормален, то X —метризуемый компакт. <...> Теорема <...>