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

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

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



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






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


Алгебра и логика, 2003, том 42, номер 2, страницы 182–193 (Mi al24)  

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

Спектры степеней для отношений на булевых алгебрах

С. С. Гончаровa, Р. Доуниb, Д. Хиршвельдc

a Институт математики им. С. Л. Соболева СО РАН
b Victoria University of Wellington, School of Mathematics, Statistics and Computer Science
c University of Chicago
Список литературы:
Аннотация: Доказывается, что любое вычислимое отношение на вычислимой булевой алгебре $\mathfrak B$ либо определимо бескванторной формулой с константами из $\mathfrak B$ (и в этом случае, очевидно, наследственно вычислимо), либо имеет бесконечный спектр степеней.
Ключевые слова: вычислимая булева алгебра, вычислимое отношение, наследственно вычислимое отношение.
Поступило: 21.11.2000
Англоязычная версия:
Algebra and Logic, 2003, Volume 42, Issue 2, Pages 105–111
DOI: https://doi.org/10.1023/A:1023350306979
Реферативные базы данных:
УДК: 510.5+512.563
Образец цитирования: С. С. Гончаров, Р. Доуни, Д. Хиршвельд, “Спектры степеней для отношений на булевых алгебрах”, Алгебра и логика, 42:2 (2003), 182–193; Algebra and Logic, 42:2 (2003), 105–111
Цитирование в формате AMSBIB
\RBibitem{GonDowHir03}
\by С.~С.~Гончаров, Р.~Доуни, Д.~Хиршвельд
\paper Спектры степеней для отношений на булевых алгебрах
\jour Алгебра и логика
\yr 2003
\vol 42
\issue 2
\pages 182--193
\mathnet{http://mi.mathnet.ru/al24}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=2003628}
\zmath{https://zbmath.org/?q=an:1034.03043}
\transl
\jour Algebra and Logic
\yr 2003
\vol 42
\issue 2
\pages 105--111
\crossref{https://doi.org/10.1023/A:1023350306979}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-23844505474}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/al24
  • https://www.mathnet.ru/rus/al/v42/i2/p182
  • Эта публикация цитируется в следующих 10 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Алгебра и логика Algebra and Logic
    Статистика просмотров:
    Страница аннотации:499
    PDF полного текста:133
    Список литературы:82
    Первая страница:1
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024