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

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

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



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






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


Сиб. электрон. матем. изв., 2017, том 14, страницы 848–855 (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.


DOI: https://doi.org/10.17377/semi.2017.14.071

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

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

Тип публикации: Статья
УДК: 510.5
MSC: 03D45
Поступила 29 июня 2017 г., опубликована 18 августа 2017 г.
Язык публикации: английский

Образец цитирования: 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{http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&DestLinkType=FullRecord&DestApp=ALL_WOS&KeyUT=000454861900004}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/semr827
  • http://mi.mathnet.ru/rus/semr/v14/p848

    ОТПРАВИТЬ: 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
  • Просмотров:
    Эта страница:114
    Полный текст:21
    Литература:17
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019