maisМоделирование и анализ информационных системModeling and Analysis of Information Systems1818-10152313-5417Yaroslavl State University10.18255/1818-1015-2012-4-59-66mais-41Research ArticleОригинальные статьиArticlesСчетные идеалы в полурешетке Dе степенейCountable Ideals in a Semi-Lattice of the De Enumeration DegreesТиховВалерий ВалерьевичTikhovV. V.

аспирант

аспирант

tixov_valerii@mail.ruШуйский государственный педагогический университетРоссияШуйский государственный педагогический университетRussian Federation2012280220151945966Copyright © Тихов В.В., 20152015Тихов В.В.Tikhov V.V.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://www.mais-journal.ru/jour/article/view/41

Доказано, что любой счетный идеал в полурешетке степеней перечислимости является пересечением двух главных идеалов, порожденных квазиминимальными накрывающими данного идеала.

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.

идеалглавный идеал степеней перечислимостисводимость по перечислимостиквазиминимальная степень перечислимостиidealsprincipal ideal of enumeration degreesenumeration reduciblequasi-minimal enumeration degreeReferencesСоар Роберт И. Вычислимо перечислимые множества и степени. Казань: Казанское математическое общество, 2000.Соар Роберт И. Вычислимо перечислимые множества и степени. Казань: Казанское математическое общество, 2000.Роджерс Х. Теория вычислимых функций и эффективная вычислимость. М.: Мир, 1972Роджерс Х. Теория вычислимых функций и эффективная вычислимость. М.: Мир, 1972Spector C. On degrees of recursive unsolvability // Ann. of math. 1956. 64.Spector C. On degrees of recursive unsolvability // Ann. of math. 1956. 64.Солон Б.Я. c-квазиминимальные степени перечислимости // Сибирский математический журнал. 2003. Том 44, №1. С. 211–223.Солон Б.Я. c-квазиминимальные степени перечислимости // Сибирский математический журнал. 2003. Том 44, №1. С. 211–223.

The authors declare that there are no conflicts of interest present.