Countable Ideals in a Semi-Lattice of the De Enumeration Degrees
https://doi.org/10.18255/1818-1015-2012-4-59-66
Abstract
In the article we have proved that any countable ideal in the semi-lattice of the De is the intersection of two principal ideals generated by quasi-minimal covers for this ideal.
About the Author
V. V. Tikhov
Шуйский государственный педагогический университет
Russian Federation
аспирант
Russian Federation
аспирант
References
1. Соар Роберт И. Вычислимо перечислимые множества и степени. Казань: Казанское математическое общество, 2000.
2. Роджерс Х. Теория вычислимых функций и эффективная вычислимость. М.: Мир, 1972
3. Spector C. On degrees of recursive unsolvability // Ann. of math. 1956. 64.
4. Солон Б.Я. c-квазиминимальные степени перечислимости // Сибирский математический журнал. 2003. Том 44, №1. С. 211–223.
Review
For citations:
Tikhov V.V. Countable Ideals in a Semi-Lattice of the De Enumeration Degrees. Modeling and Analysis of Information Systems. 2012;19(4):59-66. (In Russ.) https://doi.org/10.18255/1818-1015-2012-4-59-66
Views:
787
Email this article 