Loading [MathJax]/jax/output/SVG/config.js
Алгебра и логика
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор
Правила для авторов

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

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


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




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

Алгебра и логика, 2003, том 42, номер 1, страницы 3–25 (Mi al14)  
Эта публикация цитируется в 26 научных статьях (всего в 26 статьях)

Свойства разложимости тотальных степеней по перечислимости

М. М. Арслановa, И. Ш. Калимуллинb, С. Б. Куперc

a Казанский государственный университет
b Научно-исследовательский институт математики и механики им. Н. Г. Чеботарёва Казанского государственного университета
c University of Leeds
PDF полного текста (272 kB) Список цитирования (26)
Список литературы:
PDF
HTML
Аннотация: Описываются общие условия, которые позволяют разложить степени по перечислимости (е-степени) над заданными степенями, а также определенным образом вложить ромб в локальную структуру е-степеней. При этом затрагиваются три основополагающие темы: возможность исследования свойств тьюринговых степеней посредством сводимости по перечислимости; общие вопросы определимости; а также значение в этих исследованиях свойств разложимости и неразложимости степеней. Разработанная для этих целей техника позволяет глубже понять имеющиеся связи между структурой степеней и их информационным содержанием.
Ключевые слова: степени по перечислимости, тьюринговы степени, разложимость степеней.
Поступило: 30.01.2001
Англоязычная версия:
Algebra and Logic, 2003, Volume 42, Issue 1, Pages 1–13
DOI: https://doi.org/10.1023/A:1022660222520
Реферативные базы данных:
УДК: 510.5
Образец цитирования: М. М. Арсланов, И. Ш. Калимуллин, С. Б. Купер, “Свойства разложимости тотальных степеней по перечислимости”, Алгебра и логика, 42:1 (2003), 3–25; Algebra and Logic, 42:1 (2003), 1–13
Цитирование в формате AMSBIB
\RBibitem{ArsKalCoo03}
\by М.~М.~Арсланов, И.~Ш.~Калимуллин, С.~Б.~Купер
\paper Свойства разложимости тотальных степеней по перечислимости
\jour Алгебра и логика
\yr 2003
\vol 42
\issue 1
\pages 3--25
\mathnet{http://mi.mathnet.ru/al14}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=1988020}
\zmath{https://zbmath.org/?q=an:1032.03037}
\transl
\jour Algebra and Logic
\yr 2003
\vol 42
\issue 1
\pages 1--13
\crossref{https://doi.org/10.1023/A:1022660222520}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-24644460999}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/al14
  • https://www.mathnet.ru/rus/al/v42/i1/p3
    • Эта публикация цитируется в следующих 26 статьяx:
    1. ROD DOWNEY, NOAM GREENBERG, MATTHEW HARRISON-TRAINOR, LUDOVIC PATEY, DAN TURETSKY, “RELATIONSHIPS BETWEEN COMPUTABILITY-THEORETIC PROPERTIES OF PROBLEMS”, J. symb. log., 87:1 (2022), 47  crossref
    2. Ganchev H.A., Soskova M.I., “The Jump Hierarchy in the Enumeration Degrees”, Computability, 7:2-3 (2018), 179–188  crossref  mathscinet  zmath  isi  scopus
    3. Richard Elwes, Andy Lewis-Pye, Benedikt Löwe, Dugald Macpherson, Dag Normann, Andrea Sorbi, Alexandra A. Soskova, Mariya I. Soskova, Peter van Emde Boas, Stan Wainer, Benedikt Löwe, “S. Barry Cooper (1943–2015)”, COM, 7:2-3 (2018), 103  crossref
    4. Arno Pauly, Lecture Notes in Computer Science, 10936, Sailing Routes in the World of Computation, 2018, 328  crossref
    5. Soskova A.A., Soskova M.I., “Enumeration Reducibility and Computable Structure Theory”, Computability and Complexity: Essays Dedicated to Rodney G. Downey on the Occasion of His 60Th Birthday, Lecture Notes in Computer Science, 10010, eds. Day A., Fellows M., Greenberg N., Khoussainov B., Melnikov A., Rosamond F., Springer International Publishing Ag, 2017, 271–301  crossref  mathscinet  zmath  isi  scopus
    6. Cai M., Ganchev H.A., Lempp S., Miller J.S., Soskova M.I., “Defining Totality in the Enumeration Degrees”, J. Am. Math. Soc., 29:4 (2016), 1051–1067  crossref  mathscinet  zmath  isi  scopus
    7. Cai M., Lempp S., Miller J.S., Soskova M.I., “on Kalimullin Pairs”, Computability, 5:2 (2016), 111–126  crossref  mathscinet  zmath  isi  scopus
    8. Algebraic Computability and Enumeration Models, 2016, 155  crossref
    9. Andrew Lewis-Pye, Andrea Sorbi, “IN MEMORIAM: BARRY COOPER 1943–2015”, Bull. symb. log, 22:3 (2016), 361  crossref
    10. Hristo Ganchev, Mariya Soskova, “Definability via Kalimullin pairs in the structure of the enumeration degrees”, Trans. Amer. Math. Soc., 367:7 (2014), 4873  crossref
    11. Mariya I. Soskova, Lecture Notes in Computer Science, 7921, The Nature of Computation. Logic, Algorithms, Applications, 2013, 371  crossref
    12. A. A. Soskova, I. N. Soskov, “Quasi-minimal degrees for degree spectra”, Journal of Logic and Computation, 23:6 (2013), 1319  crossref
    13. Harris Ch.M., “Badness and Jump Inversion in the Enumeration Degrees”, Arch. Math. Log., 51:3-4 (2012), 373–406  crossref  mathscinet  zmath  adsnasa  isi  elib  scopus
    14. Ganchev H., Soskova M.I., “Cupping and Definability in the Local Structure of the Enumeration Degrees”, J. Symb. Log., 77:1 (2012), 133–158  crossref  mathscinet  zmath  isi  elib  scopus
    15. Arslanov M.M., Cooper S.B., Kalimullin I.Sh., Soskova M.I., “Splitting and nonsplitting in the Sigma(0)(2) enumeration degrees”, Theoret Comput Sci, 412:18 (2011), 1669–1685  crossref  mathscinet  zmath  isi  elib  scopus
    16. Sorbi A., Wu G., Yang Yu., “Diamond embeddings into the enumeration degrees”, Mathematical Structures in Computer Science, 20:5 (2010), 799–811  crossref  mathscinet  zmath  isi  scopus
    17. Arslanov M.M., Batyrshin I.I., Omanadze R.Sh., “Structural properties of Q-degrees of n-c. e. sets”, Annals of Pure and Applied Logic, 156:1 (2008), 13–20  crossref  mathscinet  zmath  isi  scopus
    18. Affatato M.L., Kent T.F., Sorbi A., “Branching in the Sigma(0)(2)-enumeration degrees: a new perspective”, Archive For Mathematical Logic, 47:3 (2008), 221–231  crossref  mathscinet  zmath  isi  scopus
    19. Soskova M.I., Cooper S.B., “How enumeration reducibility yields extended Harrington non-splitting”, Journal of Symbolic Logic, 73:2 (2008), 634–655  crossref  mathscinet  zmath  isi  scopus
    20. Arslanov M.M., Cooper S.B., Kalimullin I.Sh., Soskova M.I., “Total degrees and nonsplitting properties of Sigma(0)(2) enumeration degrees”, Theory and Applications of Models of Computation, Proceedings, Lecture Notes in Computer Science, 4978, 2008, 568–578  crossref  mathscinet  zmath  isi  scopus
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Алгебра и логика Algebra and Logic
    Статистика просмотров:
    Страница аннотации:561
    PDF полного текста:159
    Список литературы:79
    Первая страница:1
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025