Локальные задания формаций конечных групп

В статье обсуждается проблема конструирования локальных заданий для формаций конечных групп. Автор анализирует связи между локальными заданиями различных типов. Приводится новое доказательство существования $\omega$-композиционного спутника у $\omega$-разрешимо насыщенной формации. Доказано, что если непустая формация конечных групп $\mathfrak X$-локальна по Фёрстеру, то она имеет $\mathfrak X$-композиционный спутник.