maisМоделирование и анализ информационных системModeling and Analysis of Information Systems1818-10152313-5417Yaroslavl State University10.18255/1818-1015-2012-3-74-80mais-58Research ArticleОригинальные статьиArticlesО неглавных идеалах в полурешетке степеней перечислимостиAbout Not Countable Ideals in a Semi-Lattice of the Enumeration DegreesСолонБорис ЯковлевичSolonB. I.

доктор физ.-мат. наук

доктор физ.-мат. наук

ТиховВалерий ВалерьевичTikhovV. V.

аспирант

аспирант

Шуйский государственный педагогический университетРоссияШуйский государственный педагогический университетRussian Federation2012270220151937480Copyright © Солон Б.Я., Тихов В.В., 20152015Солон Б.Я., Тихов В.В.Solon B.I., 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/58

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

This paper is dedicated to the study of ideals in semi-lattice of the enumeration degrees.

идеал степеней перечислимостисводимость по перечислимостииммунное множествоideals enumeration degreesenumeration reducibleimmune setReferencesСоар Роберт И. Вычислимо перечислимые множества и степени. Казань: Казанское математическое общество, 2000. Soare Robert I. Recursively Enumerable Sets and Degrees. Springer-Verlag, Berlin Heidelberg New York, 1987Соар Роберт И. Вычислимо перечислимые множества и степени. Казань: Казанское математическое общество, 2000. Soare Robert I. Recursively Enumerable Sets and Degrees. Springer-Verlag, Berlin Heidelberg New York, 1987Case J. Enumeration reducibility and partial degrees // Ann. Math. Logic. 1970. 2. P. 419–439.Case J. Enumeration reducibility and partial degrees // Ann. Math. Logic. 1970. 2. P. 419–439.Cooper S.B. Partial degrees and the density problem. Part 2: The enumeration degrees of the 2/j sets are dense // J. Symb. Logic. 1984. 49. P. 503–513Cooper S.B. Partial degrees and the density problem. Part 2: The enumeration degrees of the 2/j sets are dense // J. Symb. Logic. 1984. 49. P. 503–513McEvoy K. Jumps of quasi-minimal enumeration degrees // J. Symb. Logic. 1985. 50. P. 839–848.McEvoy K. Jumps of quasi-minimal enumeration degrees // J. Symb. Logic. 1985. 50. P. 839–848.Поляков E.A., Розинас М.Г. Теория алгоритмов: Учебное пособие. Иваново: Изд-во ИвГУ, 1976.Поляков E.A., Розинас М.Г. Теория алгоритмов: Учебное пособие. Иваново: Изд-во ИвГУ, 1976.Cooper S.B., Sorbi A., Yi X. Cupping and noncupping in the e-degrees of sets // Annals of Pure and Applied Logic. 1997. 82. P. 317–342.Cooper S.B., Sorbi A., Yi X. Cupping and noncupping in the e-degrees of sets // Annals of Pure and Applied Logic. 1997. 82. P. 317–342.Gutteridge L. Some results on e-reducibility. Ph.D.Diss., Simon Fraser University, Burnaby, 1971.Gutteridge L. Some results on e-reducibility. Ph.D.Diss., Simon Fraser University, Burnaby, 1971.Роджерс X. Теория вычислимых функций и эффективная вычислимость. М.: Мир, 1972.Роджерс X. Теория вычислимых функций и эффективная вычислимость. М.: Мир, 1972.

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