Preview

Моделирование и анализ информационных систем

Расширенный поиск

О неглавных идеалах в полурешетке степеней перечислимости

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

Просмотров: 772


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)