Decision Problems for Quasivarieties Научная публикация
| Журнал |
Siberian Mathematical Journal
ISSN: 0037-4466 , E-ISSN: 1573-9260 |
||||
|---|---|---|---|---|---|
| Вых. Данные | Год: 2026, Том: 67, Номер: 3, Страницы: 731-734 Страниц : 4 DOI: 10.1134/s0037446626030158 | ||||
| Ключевые слова | decision problem, finite membership problem, quasiequational theory, quasivariety | ||||
| Авторы |
|
||||
| Организации |
|
Информация о финансировании (1)
| 1 | Российский научный фонд | 24-21-00075 |
Реферат:
We prove that, under certain circumstances, a quasivariety contains continuum many Q-universal subquasivarieties for which the finite membership problem and the quasiequational theory are undecidable.
Библиографическая ссылка:
Schwidefsky M.V.
Decision Problems for Quasivarieties
Siberian Mathematical Journal. 2026. V.67. N3. P.731-734. DOI: 10.1134/s0037446626030158 WOS Scopus РИНЦ OpenAlex
Decision Problems for Quasivarieties
Siberian Mathematical Journal. 2026. V.67. N3. P.731-734. DOI: 10.1134/s0037446626030158 WOS Scopus РИНЦ OpenAlex
Даты:
| Поступила в редакцию: | 10 июл. 2025 г. |
| Принята к публикации: | 1 сент. 2025 г. |
| Опубликована online: | 25 июн. 2026 г. |
Идентификаторы БД:
| ≡ Web of science: | WOS:001805258500007 |
| ≡ Scopus: | 2-s2.0-105043139359 |
| ≡ РИНЦ: | 91538058 |
| ≡ OpenAlex: | W7165926268 |