RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
Общая информация
Последний выпуск
Архив
Импакт-фактор
Подписка
Правила для авторов

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Алгебра и логика:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Алгебра и логика, 2002, том 41, номер 2, страницы 143–154 (Mi al177)  

Эта публикация цитируется в 12 научных статьях (всего в 12 статьях)

Фридберговские нумерации семейств $n$-вычислимо перечислимых множеств

С. С. Гончаровa, C. Лемппb, Д. Соломонb

a Институт математики им. С. Л. Соболева СО РАН
b University of Wisconsin-Madison

Аннотация: Устанавливаются некоторые свойства вычислимых нумераций, в частности, фридберговских вычислимых нумераций семейств разностей вычислимо перечислимых (d. c. e. ) множеств:
(1) Существует фридберговская вычислимая нумерация семейства всех разностей вычислимо перечислимых множеств. Кроме того, этот результат, восходящий к известной теореме Фридберга для семейства всех вычислимо перечислимых множеств, верен также и для семейства всех $n$-вычислимо перечислимых множеств для всех $n>2$.
(2) Существует бесконечное семейство разностей вычислимо перечислимых множеств без вычислимых фридберговских нумераций.
(3) Существует бесконечное семейство вычислимо перечислимых множеств с единственной с точностью до эквивалентности вычислимой нумерацией, рассматриваемой как нумерация семейства разностей вычислимо перечислимых множеств.
(4) Существует семейство разностей вычислимо перечислимых множеств с наименьшей относительно сводимости вычислимой нумерацией, которая является фридберговской, но не единственной вычислимой нумерацией относительно сводимости.

Ключевые слова: вычислимо перечислимые множества, фридберговские нумерации

Полный текст: PDF файл (1206 kB)
Список литературы: PDF файл   HTML файл

Англоязычная версия:
Algebra and Logic, 2002, 41:2, 81–86

Реферативные базы данных:

УДК: 510.10+510.57
Поступило: 22.11.2000

Образец цитирования: С. С. Гончаров, C. Лемпп, Д. Соломон, “Фридберговские нумерации семейств $n$-вычислимо перечислимых множеств”, Алгебра и логика, 41:2 (2002), 143–154; Algebra and Logic, 41:2 (2002), 81–86

Цитирование в формате AMSBIB
\RBibitem{GonLemSol02}
\by С.~С.~Гончаров, C.~Лемпп, Д.~Соломон
\paper Фридберговские нумерации семейств $n$-вычислимо перечислимых множеств
\jour Алгебра и логика
\yr 2002
\vol 41
\issue 2
\pages 143--154
\mathnet{http://mi.mathnet.ru/al177}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=1922986}
\zmath{https://zbmath.org/?q=an:1063.03028}
\transl
\jour Algebra and Logic
\yr 2002
\vol 41
\issue 2
\pages 81--86
\crossref{https://doi.org/10.1023/A:1015352513117}
\scopus{http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-33846184874}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/al177
  • http://mi.mathnet.ru/rus/al/v41/i2/p143

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    Эта публикация цитируется в следующих статьяx:
    1. Badaev S.A., Talasbaeva Zh.T., “Computable numberings in the hierarchy of Ershov”, Mathematical Logic in Asia, 2006, 17–30  crossref  mathscinet  zmath  adsnasa  isi
    2. Brodhead P., Cenzer D., “Effectively closed sets and enumerations”, Archive For Mathematical Logic, 46:7–8 (2008), 565–582  crossref  mathscinet  zmath  isi  scopus
    3. С. С. Гончаров, Н. Т. Когабаев, “О $\Sigma^0_1$-классификации отношений на вычислимых структурах”, Вестн. НГУ. Сер. матем., мех., информ., 8:4 (2008), 23–32  mathnet
    4. С. С. Оспичев, “Некоторые свойства нумераций различных классов иерархии Ершова”, Вестн. НГУ. Сер. матем., мех., информ., 10:4 (2010), 125–132  mathnet; S. S. Ospichev, “Some Properties of Numberings in Various Levels in Ershov's Hierarchy”, J. Math. Sci., 188:4 (2013), 441–448  crossref
    5. С. С. Оспичев, “Бесконечное семейство $\Sigma^{-1}_{a}$-множеств с единственной вычислимой нумерацией”, Вестн. НГУ. Сер. матем., мех., информ., 11:2 (2011), 89–92  mathnet; S. S. Ospichev, “Infinite family of $\Sigma_a^{-1}$-Sets with only One Computable Numbering”, J. Math. Sci., 188:4 (2013), 449–451  crossref
    6. Н. А. Баженов, “Теорема о ветвлении и вычислимая категоричность в иерархии Ершова”, Алгебра и логика, 54:2 (2015), 137–157  mathnet  crossref  mathscinet; N. A. Bazhenov, “The branching theorem and computable categoricity in the Ershov hierarchy”, Algebra and Logic, 54:2 (2015), 91–104  crossref  isi
    7. С. С. Оспичев, “Вычислимые семейства множеств иерархии Ершова без главных нумераций”, Вестн. НГУ. Сер. матем., мех., информ., 15:1 (2015), 54–62  mathnet; S. S. Ospichev, “Computable families of sets in Ershov hierarchy without principal numberings”, J. Math. Sci., 215:4 (2016), 529–536  crossref
    8. С. С. Оспичев, “Фридберговы нумерации в иерархии Ершова”, Алгебра и логика, 54:4 (2015), 444–462  mathnet  crossref  mathscinet; S. S. Ospichev, “Friedberg numberings in the Ershov hierarchy”, Algebra and Logic, 54:4 (2015), 283–295  crossref  isi
    9. Badaev S.A., Manat M., Sorbi A., “Friedberg Numberings in the Ershov Hierarchy”, Arch. Math. Log., 54:1-2 (2015), 59–73  crossref  mathscinet  zmath  isi  elib  scopus
    10. Lange K. Miller R. Steiner R.M., “Classifications of Computable Structures”, Notre Dame J. Form. Log., 59:1 (2018), 35–59  crossref  mathscinet  zmath  isi  scopus
    11. И. Ш. Калимуллин, В. Г. Пузаренко, М. Х. Файзрахманов, “Позитивные представления семейств относительно $e$-оракулов”, Сиб. матем. журн., 59:4 (2018), 823–833  mathnet  crossref; I. Sh. Kalimullin, V. G. Puzarenko, M. Kh. Faizrahmanov, “Positive presentations of families relative to $e$-oracles”, Siberian Math. J., 59:4 (2018), 648–656  crossref  isi
    12. И. Ш. Калимуллин, В. Г. Пузаренко, М. Х. Файзрахманов, “Позитивные представления семейств относительно сводимости по перечислимости”, Алгебра и логика, 57:4 (2018), 492–498  mathnet  crossref; I. Sh. Kalimullin, V. G. Puzarenko, M. Kh. Faizrakhmanov, “Positive presentations of families in relation to reducibility with respect to enumerability”, Algebra and Logic, 57:4 (2018), 320–323  crossref  isi
  • Алгебра и логика Algebra and Logic
    Просмотров:
    Эта страница:254
    Полный текст:81
    Литература:28
    Первая стр.:1

     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019