Получено необходимое и достаточное условие сильной разложимости одного класса абелевых р-групп. Установлен критерий экстенсиональной эквивалентности наследственно конечных допустимых множеств. Доказано, что: любой бесконечный линейный порядок невнутренне перечислим; верхняя полурешетка Т-степеней изоморфно вкладывается в верхнюю полурешетку -степеней; проблема униформизации над В-моделями решается отрицательно.
