О неглавных идеалах в полурешетке степеней перечислимости
https://doi.org/10.18255/1818-1015-2012-3-74-80
Аннотация
Эта статья посвящена изучению неглавных идеалов в полурешетке степеней перечислимости. Построены некоторые неглавные идеалы в верхней полурешетке.
Об авторах
Борис Яковлевич СолонРоссия
доктор физ.-мат. наук
Валерий Валерьевич Тихов
Россия
аспирант
Список литературы
1. Соар Роберт И. Вычислимо перечислимые множества и степени. Казань: Казанское математическое общество, 2000. Soare Robert I. Recursively Enumerable Sets and Degrees. Springer-Verlag, Berlin Heidelberg New York, 1987
2. Case J. Enumeration reducibility and partial degrees // Ann. Math. Logic. 1970. 2. P. 419–439.
3. 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–513
4. McEvoy K. Jumps of quasi-minimal enumeration degrees // J. Symb. Logic. 1985. 50. P. 839–848.
5. Поляков E.A., Розинас М.Г. Теория алгоритмов: Учебное пособие. Иваново: Изд-во ИвГУ, 1976.
6. 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.
7. Gutteridge L. Some results on e-reducibility. Ph.D.Diss., Simon Fraser University, Burnaby, 1971.
8. Роджерс X. Теория вычислимых функций и эффективная вычислимость. М.: Мир, 1972.
Рецензия
Для цитирования:
Солон Б.Я., Тихов В.В. О неглавных идеалах в полурешетке степеней перечислимости. Моделирование и анализ информационных систем. 2012;19(3):74-80. https://doi.org/10.18255/1818-1015-2012-3-74-80
For citation:
Solon B.I., Tikhov V.V. About Not Countable Ideals in a Semi-Lattice of the Enumeration Degrees. Modeling and Analysis of Information Systems. 2012;19(3):74-80. (In Russ.) https://doi.org/10.18255/1818-1015-2012-3-74-80