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

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

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



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






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


Сибирские электронные математические известия, 2017, том 14, страницы 848–855
DOI: https://doi.org/10.17377/semi.2017.14.071
(Mi semr827)
 

Математическая логика, алгебра и теория чисел

Boolean algebras realized by c.e. equivalence relations

N. Bazhenovab, M. Mustafac, F. Stephand, M. Yamaleeve

a Novosibirsk State University, 2 Pirogova St., 630090, Novosibirsk, Russia
b Sobolev Institute of Mathematics, 4 Acad. Koptyug Av., 630090, Novosibirsk, Russia
c Department of Mathematics, School of Science and Technology, Nazarbayev University, 53, Kabanbay Batyr Avenue, Astana, 010000, Republic of Kazakhstan
d Department of Computer Science and Department of Mathematics, National University of Singapore, 119076, Republic of Singapore
e N.I. Lobachevsky Institute of Mathematics and Mechanics, Kazan Federal University, 18 Kremlevskaya Str., Kazan, 420008, Russia
Список литературы:
Аннотация: Let $E$ be a computably enumerable (c.e.) equivalence relation on the set of natural numbers $\omega$. We consider countable structures where basic functions are computable and respect $E$. If the corresponding quotient structure is a Boolean algebra $B$, then we say that the c.e. relation $E$ realizes $B$. In this paper we study connections between algorithmic properties of $E$ and algebraic properties of Boolean algebras realized by $E$. Also we compare these connections with the corresponding results for linear orders and groups realized by c.e. equivalence relations.
Ключевые слова: computability theory, Boolean algebras, equivalence relations, computably enumerable structures.
Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 16-31-60058_мол_а_дк
15-41-02507_р_поволжье_а
Министерство образования и науки Российской Федерации 1.1515.2017
N. Bazhenov was supported by RFBR, according to the research project No. 16-31-60058 mol_a_dk. M. Yamaleev was supported by RFBR project 15-41-02507, by the subsidy allocated to Kazan Federal University for the state assignment in the sphere of scientific activities 1.1515.2017, and by the research grant of Kazan Federal University.
Поступила 29 июня 2017 г., опубликована 18 августа 2017 г.
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.5
MSC: 03D45
Язык публикации: английский
Образец цитирования: N. Bazhenov, M. Mustafa, F. Stephan, M. Yamaleev, “Boolean algebras realized by c.e. equivalence relations”, Сиб. электрон. матем. изв., 14 (2017), 848–855
Цитирование в формате AMSBIB
\RBibitem{BazMusSte17}
\by N.~Bazhenov, M.~Mustafa, F.~Stephan, M.~Yamaleev
\paper Boolean algebras realized by c.e. equivalence relations
\jour Сиб. электрон. матем. изв.
\yr 2017
\vol 14
\pages 848--855
\mathnet{http://mi.mathnet.ru/semr827}
\crossref{https://doi.org/10.17377/semi.2017.14.071}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000454861900004}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/semr827
  • https://www.mathnet.ru/rus/semr/v14/p848
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Статистика просмотров:
    Страница аннотации:235
    PDF полного текста:49
    Список литературы:29
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024