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

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

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



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






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


Сибирские электронные математические известия, 2020, том 17, страницы 753–768
DOI: https://doi.org/10.33048/semi.2020.17.054
(Mi semr1248)
 

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

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

On the complexity of the lattices of subvarieties and congruences. II. Differential groupoids and unary algebras

A. V. Kravchenkoabcd, M. V. Schwidefskyabd

a Sobolev Institute of Mathematics, 4, Koptyuga ave., Novosibirsk, 630090, Russia
b Novosibirsk State University, 1, Pirogova str., Novosibirsk, 630090, Russia
c Siberian Institute of Management, 6, Nizhegorodskaya str., Novosibirsk, 630102, Russia
d Novosibirsk State Technical University, 20, Karl Marx ave.., Novosibirsk, 630073, Russia
Список литературы:
Аннотация: We prove that certain lattices can be represented as the lattices of relative subvarieties and relative congruences of differential groupoids and unary algebras. This representation result implies that there are continuum many quasivarieties of differential groupoids such that the sets of isomorphism types of finite sublattices of their lattices of relative subvarieties and congruences are not computable. A similar result is obtained for unary algebras and their lattices of relative congruences.
Ключевые слова: quasivariety, variety, congruence lattice, differential groupoid, unary algebra, undecidable problem, computable set.
Финансовая поддержка Номер гранта
Российский научный фонд 19-11-00209
Министерство науки и высшего образования Российской Федерации 0314-2019-0003
This research was carried out within the framework of the state contract of the Sobolev Institute of Mathematics, project no. 0314-2019-0003. This work is also partially supported by the RSF, project no. 19-11-00209, (statements 14–16).
Поступила 19 ноября 2019 г., опубликована 4 июня 2020 г.
Реферативные базы данных:
Тип публикации: Статья
УДК: 512.57
MSC: 08C15, 03C05
Язык публикации: английский
Образец цитирования: A. V. Kravchenko, M. V. Schwidefsky, “On the complexity of the lattices of subvarieties and congruences. II. Differential groupoids and unary algebras”, Сиб. электрон. матем. изв., 17 (2020), 753–768
Цитирование в формате AMSBIB
\RBibitem{KraSch20}
\by A.~V.~Kravchenko, M.~V.~Schwidefsky
\paper On the complexity of the lattices of subvarieties and congruences. II. Differential groupoids and unary algebras
\jour Сиб. электрон. матем. изв.
\yr 2020
\vol 17
\pages 753--768
\mathnet{http://mi.mathnet.ru/semr1248}
\crossref{https://doi.org/10.33048/semi.2020.17.054}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000537775800001}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/semr1248
  • https://www.mathnet.ru/rus/semr/v17/p753
  • Эта публикация цитируется в следующих 7 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Статистика просмотров:
    Страница аннотации:216
    PDF полного текста:36
    Список литературы:14
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024