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

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

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


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




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

Алгебра и логика, 2019, том 58, номер 2, страницы 179–199
DOI: https://doi.org/10.33048/alglog.2019.58.203 (Mi al889) 		 
Эта публикация цитируется в 19 научных статьях (всего в 19 статьях)

О строении решёток квазимногообразий. II. Неразрешимые проблемы

А. В. Кравченкоabcd, А. М. Нуракуновe, М. В. Швидефскиcda

a Новосибирский гос. ун-т, ул. Пирогова, 1, г. Новосибирск, 630090, РОССИЯ
b Сибирский институт управления — филиал РАНХиГС, ул. Нижегородская 6, г. Новосибирск, 630102, РОССИЯ
c Ин-т матем. им. С. Л. Соболева СО РАН, пр. Ак. Коптюга, 4, г. Новосибирск, 630090, РОССИЯ
d Новосибирский гос. техн. ун-т, пр. К. Маркса, 20, г. Новосибирск, 630073, РОССИЯ
e Ин-т матем. НАН КР, пр. Чуй, 265а, 720071 г. Бишкек, КЫРГЫЗСТАН
PDF полного текста (290 kB) Список цитирования (19)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.33048/alglog.2019.58.203
Аннотация: Формулируются достаточные условия для того, чтобы квазимногообразие содержало континуум подквазимногообразий, имеющих независимый базис квазитождеств, с неразрешимыми квазиэквациональной теорией и проблемой вхождения для конечных систем. Приводится ряд приложений полученных результатов.
Ключевые слова: квазитождество, квазимногообразие, проблема вхождения, неразрешимая теория, QQ-универсальность, независимый базис.
Финансовая поддержка Номер гранта
Сибирское отделение Российской академии наук I.1.1, проект № 0314 2019 0003
Министерство образования и науки Кыргызской Республики
Работа первого и третьего из авторов выполнена при финансовой поддержке программой фундаментальных исследований СО РАН № I.1.1, проект № 0314 2019 0003, второго из авторов — при финансовой поддержке Международного матем. центра НГУ, и МОН РК, грант "‘Вычислимость, интерпретируемость и алгебраические структуры"’.
Поступило: 14.07.2017
Окончательный вариант: 09.07.2019
Англоязычная версия:
Algebra and Logic, 2019, Volume 58, Issue 2, Pages 123–136
DOI: https://doi.org/10.1007/s10469-019-09531-5
Реферативные базы данных:
Тип публикации: Статья
УДК: 512.57
Образец цитирования: А. В. Кравченко, А. М. Нуракунов, М. В. Швидефски, “О строении решёток квазимногообразий. II. Неразрешимые проблемы”, Алгебра и логика, 58:2 (2019), 179–199; Algebra and Logic, 58:2 (2019), 123–136
Цитирование в формате AMSBIB
\RBibitem{KraNurSch19}
\by А.~В.~Кравченко, А.~М.~Нуракунов, М.~В.~Швидефски
\paper О строении решёток квазимногообразий. II. Неразрешимые проблемы
\jour Алгебра и логика
\yr 2019
\vol 58
\issue 2
\pages 179--199
\mathnet{http://mi.mathnet.ru/al889}
\crossref{https://doi.org/10.33048/alglog.2019.58.203}
\transl
\jour Algebra and Logic
\yr 2019
\vol 58
\issue 2
\pages 123--136
\crossref{https://doi.org/10.1007/s10469-019-09531-5}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000479251100003}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85069542780}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/al889
  • https://www.mathnet.ru/rus/al/v58/i2/p179
    Цикл статей
    Эта публикация цитируется в следующих 19 статьяx:
    1. M. V. Schwidefsky, “Existence of Independent Quasi-Equational Bases. II”, Algebra Logic, 2024  crossref
    2. А. И. Будкин, “О независимой аксиоматизируемости квазимногообразий нильпотентных групп”, Сиб. матем. журн., 64:1 (2023), 28–39  mathnet  crossref  mathscinet; A. I. Budkin, “On the independent axiomatizability of quasivarieties of nilpotent groups”, Siberian Math. J., 64:1 (2023), 22–32  crossref
    3. M. V. Schwidefsky, “The complexity of quasivariety lattices. II”, Сиб. электрон. матем. изв., 20:1 (2023), 501–513  mathnet  crossref
    4. Anvar M. Nurakunov, Marina V. Schwidefsky, “Profinite Locally Finite Quasivarieties”, Stud Logica, 2023  crossref
    5. М. В. Швидефски, “О существовании независимых базисов квазитождеств. II”, Алгебра и логика, 62:6 (2023), 762–785  mathnet  crossref
    6. A. V. Kravchenko, “On directed and finitely partitionable bases for quasi-identities”, Сиб. электрон. матем. изв., 19:2 (2022), 741–746  mathnet  crossref  mathscinet
    7. A. V. Kravchenko, M. V. Schwidefsky, “On nonstandard quasivarieties of differential groupoids and unary algebras”, Сиб. электрон. матем. изв., 19:2 (2022), 768–783  mathnet  crossref  mathscinet
    8. M. E. Adams, W. Dziobiak, H. P. Sankappanavar, “A relatively finite-to-finite universal but not Q-universal quasivariety”, Algebra Univers., 83:3 (2022)  crossref
    9. Kira Adaricheva, Jennifer Hyndman, J. B. Nation, Joy N. Nishida, CMS/CAIMS Books in Mathematics, 3, A Primer of Subquasivariety Lattices, 2022, 1  crossref
    10. А. И. Будкин, “О независимой аксиоматизируемости квазимногообразий нильпотентных групп без кручения”, Алгебра и логика, 60:2 (2021), 123–136  mathnet  crossref; A. I. Budkin, “Independent axiomatizability of quasivarieties of torsion-free nilpotent groups”, Algebra and Logic, 60:2 (2021), 79–88  crossref  isi
    11. А. В. Кравченко, А. М. Нуракунов, М. В. Швидефски, “О строении решеток квазимногообразий. IV. Нестандартные квазимногообразия”, Сиб. матем. журн., 62:5 (2021), 1049–1060  mathnet  crossref; A. V. Kravchenko, A. M. Nurakunov, M. V. Schwidefsky, “Structure of quasivariety lattices. IV. Nonstandard quasivarieties”, Siberian Math. J., 62:5 (2021), 850–858  crossref  isi  elib
    12. М. В. Швидефски, “Об одном классе решеток подполугрупп”, Сиб. матем. журн., 61:5 (2020), 1177–1193  mathnet  crossref; M. V. Schwidefsky, “On a class of subsemigroup lattices”, Siberian Math. J., 61:5 (2020), 941–952  crossref  isi  elib
    13. А. И. Будкин, “О квазимногообразиях, порожденных конечной группой и не имеющих независимых базисов квазитождеств”, Сиб. матем. журн., 61:6 (2020), 1234–1246  mathnet  crossref; A. I. Budkin, “On the quasivarieties generated by a finite group and lacking any independent bases of quasi-identities”, Siberian Math. J., 61:6 (2020), 983–993  crossref  isi  elib
    14. А. В. Кравченко, А. М. Нуракунов, М. В. Швидефски, “О строении решёток квазимногообразий. III. Конечно разбиваемые базисы”, Алгебра и логика, 59:3 (2020), 323–333  mathnet  crossref; A. V. Kravchenko, A. M. Nurakunov, M. V. Schwidefsky, “Structure of quasivariety lattices. III. Finitely partitionable bases”, Algebra and Logic, 59:3 (2020), 222–229  crossref  isi
    15. 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  mathnet  crossref
    16. M. V. Schwidefsky, “On sufficient conditions for $Q$-universality”, Сиб. электрон. матем. изв., 17 (2020), 1043–1051  mathnet  crossref
    17. A. V. Kravchenko, A. M. Nurakunov, M. V. Schwidefsky, “On the Complexity of the Lattices of Subvarieties and Congruences”, Int. J. Algebr. Comput., 30:8 (2020), 1609–1624  crossref  mathscinet  zmath  isi  scopus
    18. М. В. Швидефски, “О существовании независимых базисов квазитождеств”, Алгебра и логика, 58:6 (2019), 769–803  mathnet  crossref; M. V. Schwidefsky, “Existence of independent quasi-equational bases”, Algebra and Logic, 58:6 (2020), 514–537  crossref  isi
    19. Kravchenko A.V., Nurakunov A.M., Schwidefsky M.V., “on Representation of Finite Lattices”, Algebr. Universalis, 80:1 (2019), UNSP 15  crossref  mathscinet  isi  scopus
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Алгебра и логика Algebra and Logic
    Статистика просмотров:
    Страница аннотации:387
    PDF полного текста:68
    Список литературы:54
    Первая страница:6
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025