Подзоров С. Ю.
Арифметические m-степени

Дается описание типов изоморфизма главных идеалов верхней полурешетки m-степеней, порожденных арифметическими множествами. Результат Лахлана 1972 г. для вычислимо перечислимых m-степеней распространяется на произвольные уровни арифметической иерархии. В качестве следствий этого результата устанавливается характеризация типов локального изоморфизма полурешеток Роджерса арифметических нумераций конечных семейств и доказывается, что нетривиальные полурешетки Роджерса нумераций, вычислимых на разных уровнях арифметической иерархии, не могут быть изоморфны, если разрыв между уровнями больше 1.

Podzorov S. Yu.
Arithmetical m-degrees

Description is given of the isomorphism types of the principal ideals of the join semilattice of m-degrees which are generated by arithmetical sets. A result by Lachlan of 1972 on computably enumerable m-degrees is extended to the arbitrary levels of the arithmetical hierarchy. As a corollary, a characterization is given of the local isomorphism types of the Rogers semilattices of numberings of finite families, and the nontrivial Rogers semilattices of numberings which can be computed at the different levels of the arithmetical hierarchy are proved to be nonisomorphic provided that the difference between levels is more than 1.

Полный текст статьи / Full texts:

• PDF file (565 KB)
• PostScript file (1 MB)