|
Sibirskii Matematicheskii Zhurnal, 2008, Volume 49, Number 6, Pages 1391–1410
(Mi smj1926)
|
|
|
|
This article is cited in 10 scientific papers (total in 10 papers)
Arithmetical $D$-degrees
S. Yu. Podzorov Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences
Abstract:
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.
Keywords:
arithmetical hierarchy, $m$-reducibility, distributive join semilattice, Lachlan semilattice, numbering, Rogers semilattice.
Received: 03.10.2007
Citation:
S. Yu. Podzorov, “Arithmetical $D$-degrees”, Sibirsk. Mat. Zh., 49:6 (2008), 1391–1410; Siberian Math. J., 49:6 (2008), 1109–1123
Linking options:
https://www.mathnet.ru/eng/smj1926 https://www.mathnet.ru/eng/smj/v49/i6/p1391
|
|