Abstract
S. Goncharov and S. Badaev showed that for \(n \geqslant 2\), there exist infinite families whose Rogers semilattices contain ideals without minimal elements. In this connection, the question was posed as to whether there are examples of families that lack this property. We answer this question in the negative. It is proved that independently of a family chosen, the class of semilattices that are principal ideals of the Rogers semilattice of that family is rather wide: it includes both a factor lattice of the lattice of recursively enumerable sets modulo finite sets and a family of initial segments in the semilattice of \(m\)-degrees generated by immune sets.
Similar content being viewed by others
REFERENCES
S. S. Goncharov and A. Sorbi, “Generalized computable numerations and nontrivial Rogers semilattices,” Algebra Logika, 36, No. 6, 621–641 (1997).
H. Rogers, Theory of Recursive Functions and Effective Computability, McGraw-Hill, New York (1967).
S. A. Badaev and S. S. Goncharov, “Rogers semilattices of families of arithmetic sets,” Algebra Logika, 40, No. 5, 507–522 (2001).
Yu. L. Ershov, Numeration Theory [in Russian], Nauka, Moscow (1977).
S. A. Badaev, “Minimal numerations,” in Mathematical Logic and Algorithm Theory, Trudy Inst. Mat. SO RAN, Vol. 25 (1993), pp. 3–34.
Yu. L. Ershov, “An upper semilattice of numerations for a finite set,” Algebra Logika, 14, No. 3, 258–284 (1975).
A. H. Lachlan, “Initial segments of many-one degrees,” Can. J. Math., 22, No. 1, 75–85 (1970).
A. H. Lachlan, “Recursively enumerable many-one degrees,” Algebra Logika, 11, No. 3, 326–358 (1972).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Podzorov, S.Y. Initial Segments in Rogers Semilattices of \(\Sigma _n^0 \)-Computable Numberings. Algebra and Logic 42, 121–129 (2003). https://doi.org/10.1023/A:1023354407888
Issue Date:
DOI: https://doi.org/10.1023/A:1023354407888