О позитивных нумерованных моделях

Изучаются вопросы конечно-порождаемости позитивных эквивалентностей и позитивных моделей. Построено простое негиперпростое множество $P$, для которого позитивная эквивалентность $\{\langle х,у\rangle|х,у\in P\}\cup\operatorname{id}_\omega$ не конечно-порождена. Приведены примеры абсолютно локально конечных позитивно представимых групп и колец.
Библиогр. 5.