СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ

АННОТАЦИИ

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