Обобщения теоремы Селиванова

Приведены результаты обобщения доказанной В. Л. Селивановым теоремы о том, что нетривиальная фактор-полурешетка вычислимых нумераций по эквивалентности не является решеткой. Доказано, что нетривиальная $\Pi^0_4$ фактор-полурешетка вычислимых индексаций семейства рекурсивно-перечислимых множеств не является решеткой. Изучена фактор-полурешетка вычислимых индексаций для класса конструктивных моделей со сводимостью по автоэквивалентности и по локальным лассам. Доказано, что нетривиальная $\Sigma^0_3$ фактор-полурешетка со сводимостью по автоэквивалентности не является решеткой, а также что нетривиальная фактор-полурешетка со сводимостью по локальным классам не является решеткой.
Библиогр. 4.