Рекурсивно распознаваемые локальные формации конечных групп

Пусть $\wp$ – некоторое подгрупповое свойство и $n$ – натуральное число. Формация $\mathfrak{F}$ называется $\wp_n$-распознаваемой, если $\mathfrak{F}$ содержит всякую группу $G$, имеющую $n$ $\wp$-подгрупп, принадлежащих $\mathfrak{F}$. В статье предлагается оригинальный подход, основанный на концепции T-модели, для установления $\wp_n$-распознаваемости локальных формаций конечных групп.