Универсальные функции и $K\Sigma$-структуры

Введено понятие $K\Sigma$-структуры и доказано существование универсальной $\Sigma$-функции в наследственно конечной надстройке над такой структурой. Приведены примеры семейств $K\Sigma$-структур теории деревьев.