Decision Problems for Quasivarieties Full article
| Journal |
Siberian Mathematical Journal
ISSN: 0037-4466 , E-ISSN: 1573-9260 |
||||
|---|---|---|---|---|---|
| Output data | Year: 2026, Volume: 67, Number: 3, Pages: 731-734 Pages count : 4 DOI: 10.1134/s0037446626030158 | ||||
| Tags | decision problem, finite membership problem, quasiequational theory, quasivariety | ||||
| Authors |
|
||||
| Affiliations |
|
Funding (1)
| 1 | Russian Science Foundation | 24-21-00075 |
Abstract:
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.
Cite:
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
Dates:
| Submitted: | Jul 10, 2025 |
| Accepted: | Sep 1, 2025 |
| Published online: | Jun 25, 2026 |
Identifiers:
| ≡ Web of science: | WOS:001805258500007 |
| ≡ Scopus: | 2-s2.0-105043139359 |
| ≡ Elibrary: | 91538058 |
| ≡ OpenAlex: | W7165926268 |