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

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

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


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




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

Сибирские электронные математические известия, 2017, том 14, страницы 252–263
DOI: https://doi.org/10.17377/semi.2017.14.023 (Mi semr782) 		 
Эта публикация цитируется в 12 научных статьях (всего в 12 статьях)

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

Lattices of subclasses. III

A. Basheyevaa, A. Nurakunovb, M. Schwidefskycd, A. Zamojska-Dzienioe

a The L.N. Gumilyov Eurasian National University, Satpaev str. 2, 010000 Astana, Kazakhstan
b Institute of Mathematics of the National Academy of Sciences, Chui prosp. 265a, 720071 Bishkek, Kyrgyzstan
c Sobolev Institute of Mathematics of the Siberian Branch RAS, Acad. Koptyug prosp. 4, 630090 Novosibirsk, Russia
d Novosibirsk State University, Pirogova str. 1, 630090 Novosibirsk, Russia
e Faculty of Mathematics and Information Science, Warsaw University of Technology, Koszykowa str. 75, 00-662 Warsaw, Poland
PDF полного текста (179 kB) Список цитирования (12)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.17377/semi.2017.14.023
Аннотация: We prove that for certain $Q$-universal quasivarieties $\mathbf{K}$, the lattice of $\mathbf{K}$-quasivarieties contains continuum many subquasivarieties with the undecidable quasi-equational theory and for which the finite membership problem is also undecidable. Moreover, we prove that certain $Q$-universal quasivarieties have continuum many subquasivarieties with no independent quasi-equational basis.
Ключевые слова: Abelian group, differential groupoid, finite membership problem, graph, independent basis, quasi-identity, quasi-equational theory, quasivariety, $Q$-universal, undecidable theory.
Финансовая поддержка Номер гранта
Министерство образования и науки Республики Казахстан 3953/GF4
Министерство образования и науки Российской Федерации NSh-6848.2016.1
Warsaw University of Technology 504P/1120/0025/000
The second author was supported by the Ministry of Education and Sciences of Kazakhstan (grant 3953/GF4). The third author was supported by the Presidential Grant Council of Russian Federation (grant NSh-6848.2016.1). The fourth author was supported by the Warsaw University of Technology under statutory (grant 504P/1120/0025/000).
Поступила 17 февраля 2017 г., опубликована 24 марта 2017 г.
Реферативные базы данных:
Тип публикации: Статья
УДК: 512.56, 512.57
MSC: 06B15, 08C15
Язык публикации: английский
Образец цитирования: A. Basheyeva, A. Nurakunov, M. Schwidefsky, A. Zamojska-Dzienio, “Lattices of subclasses. III”, Сиб. электрон. матем. изв., 14 (2017), 252–263
Цитирование в формате AMSBIB
\RBibitem{BasNurSch17}
\by A.~Basheyeva, A.~Nurakunov, M.~Schwidefsky, A.~Zamojska-Dzienio
\paper Lattices of subclasses.~III
\jour Сиб. электрон. матем. изв.
\yr 2017
\vol 14
\pages 252--263
\mathnet{http://mi.mathnet.ru/semr782}
\crossref{https://doi.org/10.17377/semi.2017.14.023}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000407792200027}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/semr782
  • https://www.mathnet.ru/rus/semr/v14/p252
    Цикл статей
    Эта публикация цитируется в следующих 12 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Статистика просмотров:
    Страница аннотации:4674
    PDF полного текста:69
    Список литературы:50
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024