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

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

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



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






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


Алгебра и логика, 2002, том 41, номер 5, страницы 531–552 (Mi al196)  

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

О $\Delta_3^0$-категоричности для линейных порядков и булевых алгебр

Ч. Ф. Мак-Кой

University of Wisconsin-Madison
Список литературы:
Аннотация: Исследуется $\Delta_3^0$-категоричность для линейных порядков и булевых алгебр. Доказывается, что существует несчетное число относительно $\Delta_3^0$-категоричных линейных порядков. Показывается, что задача классификации (неотносительно) $\Delta_3^0$-категоричных линейных порядков может оказаться очень сложной. Полной противоложностью этим результатам для линейных порядков является полное описание относительно $\Delta_3^0$-категоричных булевых алгебр, которое также приводится.
Ключевые слова: линейный порядок, булева алгебра, $\Delta_{3}^{0}$-категоричность.
Поступило: 26.08.2002
Англоязычная версия:
Algebra and Logic, 2002, Volume 41, Issue 5, Pages 295–305
DOI: https://doi.org/10.1023/A:1020927703492
Реферативные базы данных:
УДК: 510.5+510.6
Образец цитирования: Ч. Ф. Мак-Кой, “О $\Delta_3^0$-категоричности для линейных порядков и булевых алгебр”, Алгебра и логика, 41:5 (2002), 531–552; Algebra and Logic, 41:5 (2002), 295–305
Цитирование в формате AMSBIB
\RBibitem{Mcc02}
\by Ч.~Ф.~Мак-Кой
\paper О~$\Delta_3^0$-категоричности для линейных порядков и булевых алгебр
\jour Алгебра и логика
\yr 2002
\vol 41
\issue 5
\pages 531--552
\mathnet{http://mi.mathnet.ru/al196}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=1953178}
\zmath{https://zbmath.org/?q=an:1008.03023}
\transl
\jour Algebra and Logic
\yr 2002
\vol 41
\issue 5
\pages 295--305
\crossref{https://doi.org/10.1023/A:1020927703492}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-42249084262}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/al196
  • https://www.mathnet.ru/rus/al/v41/i5/p531
  • Эта публикация цитируется в следующих 17 статьяx:
    1. Andrey Frolov, Maxim Zubkov, “On categoricity of scattered linear orders of constructive ranks”, Arch. Math. Logic, 2024  crossref
    2. Fokina E. Harizanov V. Turetsky D., “Computability-Theoretic Categoricity and Scott Families”, Ann. Pure Appl. Log., 170:6 (2019), 699–717  crossref  mathscinet  zmath  isi  scopus
    3. Melnikov A.G., “Torsion-Free Abelian Groups With Optimal Scott Families”, J. Math. Log., 18:1 (2018)  crossref  mathscinet  isi  scopus
    4. [Anonymous], “Degree Spectra of Relations on a Cone”, Mem. Am. Math. Soc., 253:1208 (2018), 1+  isi
    5. Н. А. Баженов, “Спектры категоричности вычислимых структур”, Труды семинара кафедры алгебры и математической логики Казанского (Приволжского) федерального университета, Итоги науки и техн. Соврем. мат. и ее прил. Темат. обз., 157, ВИНИТИ РАН, М., 2018, 42–58  mathnet  mathscinet; N. A. Bazhenov, “Categoricity spectra of computable structures”, J. Math. Sci. (N. Y.), 256:1 (2021), 34–50  crossref
    6. И. Ш. Калимуллин, В. Л. Селиванов, А. Н. Фролов, “Спектры степеней структур”, Труды семинара кафедры алгебры и математической логики Казанского (Приволжского) федерального университета, Итоги науки и техн. Соврем. мат. и ее прил. Темат. обз., 158, ВИНИТИ РАН, М., 2018, 23–39  mathnet  mathscinet; I. Sh. Kalimullin, V. L. Selivanov, A. N. Frolov, “Degree spectra of structures”, J. Math. Sci. (N. Y.), 256:2 (2021), 143–159  crossref
    7. Н. А. Баженов, А. Н. Фролов, И. Ш. Калимуллин, А. Г. Мельников, “Вычислимость дистрибутивных решеток”, Сиб. матем. журн., 58:6 (2017), 1236–1251  mathnet  crossref  elib; N. A. Bazhenov, A. N. Frolov, I. Sh. Kalimullin, A. G. Melnikov, “Computability of distributive lattices”, Siberian Math. J., 58:6 (2017), 959–970  crossref  isi
    8. Н. А. Баженов, “О степенях автоустойчивости для линейных порядков и линейно упорядоченных абелевых групп”, Алгебра и логика, 55:4 (2016), 393–418  mathnet  crossref; N. A. Bazhenov, “Degrees of autostability for linear orderings and linearly ordered Abelian groups”, Algebra and Logic, 55:4 (2016), 257–273  crossref  isi
    9. Downey R., Melnikov A.G., Ng K.M., “on Delta(0)(2)-Categoricity of Equivalence Relations”, Ann. Pure Appl. Log., 166:9 (2015), 851–880  crossref  mathscinet  zmath  isi  scopus
    10. Н. А. Баженов, “О 2-вычислимо перечислимых степенях категоричности булевых алгебр с выделенным автоморфизмом”, Вестн. НГУ. Сер. матем., мех., информ., 14:1 (2014), 19–27  mathnet; N. A. Bazhenov, “D.c.e. degrees of categoricity for Boolean algebras with a distinguished automorphism”, J. Math. Sci., 211:6 (2015), 738–746  crossref
    11. Fokina E.B. Harizanov V. Melnikov A., “Computable Model Theory”, Turing'S Legacy: Developments From Turing'S Ideas in Logic, Lecture Notes in Logic, 42, ed. Downey R., Cambridge Univ Press, 2014, 124–194  mathscinet  isi
    12. Ekaterina B. Fokina, Valentina Harizanov, Alexander Melnikov, Turing's Legacy, 2014, 124  crossref
    13. Н. А. Баженов, Р. Р. Тухбатуллина, “О вычислимой категоричности булевой алгебры $\mathfrak B(\omega)$ с выделенным автоморфизмом”, Алгебра и логика, 52:2 (2013), 131–144  mathnet  mathscinet; N. A. Bazhenov, R. R. Tukhbatullina, “Computable categoricity of the Boolean algebra $\mathfrak B(\omega)$ with a distinguished automorphism”, Algebra and Logic, 52:2 (2013), 89–97  crossref  isi
    14. Н. А. Баженов, “О $\Delta^0_2$-категоричности булевых алгебр”, Вестн. НГУ. Сер. матем., мех., информ., 13:2 (2013), 3–14  mathnet
    15. Н. А. Баженов, “Степени категоричности суператомных булевых алгебр”, Алгебра и логика, 52:3 (2013), 271–283  mathnet  mathscinet; N. A. Bazhenov, “Degrees of categoricity for superatomic Boolean algebras”, Algebra and Logic, 52:3 (2013), 179–187  crossref  isi
    16. Н. А. Баженов, “О категоричности булевых алгебр типа $\mathfrak{B}(\omega^{\alpha}\times\eta)$ в гиперарифметической иерархии”, Вестн. НГУ. Сер. матем., мех., информ., 12:3 (2012), 35–45  mathnet; N. A. Bazhenov, “Hyperarithmetical Categoricity of the Boolean Algebra $\mathfrak{B}(\omega^{\alpha}\times\eta)$”, J. Math. Sci., 202:1 (2014), 40–49  crossref
    17. С. С. Гончаров, “Степени автоустойчивости относительно сильных конструктивизаций”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Труды МИАН, 274, МАИК «Наука/Интерпериодика», М., 2011, 119–129  mathnet  mathscinet  elib; S. S. Goncharov, “Degrees of autostability relative to strong constructivizations”, Proc. Steklov Inst. Math., 274 (2011), 105–115  crossref  isi  elib
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Алгебра и логика Algebra and Logic
    Статистика просмотров:
    Страница аннотации:275
    PDF полного текста:103
    Список литературы:57
    Первая страница:1
     
      Обратная связь:
    math-net2025_04@mi-ras.ru
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025