Универсальные функции и почти $c$-простые модели

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