Standard

Decision Problems for Quasivarieties. / Schwidefsky, M. V.

в: Siberian Mathematical Journal, Том 67, № 3, 25.06.2026, стр. 731-734.

Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

Harvard

Schwidefsky, MV 2026, 'Decision Problems for Quasivarieties', Siberian Mathematical Journal, Том. 67, № 3, стр. 731-734. https://doi.org/10.1134/S0037446626030158

APA

Schwidefsky, M. V. (2026). Decision Problems for Quasivarieties. Siberian Mathematical Journal, 67(3), 731-734. https://doi.org/10.1134/S0037446626030158

Vancouver

Schwidefsky MV. Decision Problems for Quasivarieties. Siberian Mathematical Journal. 2026 июнь 25;67(3):731-734. doi: 10.1134/S0037446626030158

Author

Schwidefsky, M. V. / Decision Problems for Quasivarieties. в: Siberian Mathematical Journal. 2026 ; Том 67, № 3. стр. 731-734.

BibTeX

@article{5b311d289d38413992af0ad3c0d1e689,
title = "Decision Problems for Quasivarieties",
abstract = "We prove that, under certain circumstances, a quasivariety contains continuum many -universal subquasivarieties for which the finite membership problem and the quasiequational theory are undecidable.",
keywords = "512.58, decision problem, finite membership problem, quasiequational theory, quasivariety, проблема принятия решений, проблема конечной принадлежности, квазиэквивалентная теория, квазимногообразие",
author = "Schwidefsky, {M. V.}",
note = "Schwidefsky, M. V. Decision Problems for Quasivarieties / M. V. Schwidefsky // Siberian Mathematical Journal. – 2026. – Vol. 67, No. 3. – P. 731-734. – DOI 10.1134/S0037446626030158. – EDN HPWGRM. The work is supported by the Russian Science Foundation (project 24–21–00075).",
year = "2026",
month = jun,
day = "25",
doi = "10.1134/S0037446626030158",
language = "English",
volume = "67",
pages = "731--734",
journal = "Siberian Mathematical Journal",
issn = "0037-4466",
publisher = "Pleiades Publishing",
number = "3",

}

RIS

TY - JOUR

T1 - Decision Problems for Quasivarieties

AU - Schwidefsky, M. V.

N1 - Schwidefsky, M. V. Decision Problems for Quasivarieties / M. V. Schwidefsky // Siberian Mathematical Journal. – 2026. – Vol. 67, No. 3. – P. 731-734. – DOI 10.1134/S0037446626030158. – EDN HPWGRM. The work is supported by the Russian Science Foundation (project 24–21–00075).

PY - 2026/6/25

Y1 - 2026/6/25

N2 - We prove that, under certain circumstances, a quasivariety contains continuum many -universal subquasivarieties for which the finite membership problem and the quasiequational theory are undecidable.

AB - We prove that, under certain circumstances, a quasivariety contains continuum many -universal subquasivarieties for which the finite membership problem and the quasiequational theory are undecidable.

KW - 512.58

KW - decision problem

KW - finite membership problem

KW - quasiequational theory

KW - quasivariety

KW - проблема принятия решений

KW - проблема конечной принадлежности

KW - квазиэквивалентная теория

KW - квазимногообразие

UR - https://www.mendeley.com/catalogue/7a41a128-f118-39b6-b438-0768ad922852/

UR - https://elibrary.ru/item.asp?id=91538058

UR - https://www.scopus.com/pages/publications/105043139359

U2 - 10.1134/S0037446626030158

DO - 10.1134/S0037446626030158

M3 - Article

VL - 67

SP - 731

EP - 734

JO - Siberian Mathematical Journal

JF - Siberian Mathematical Journal

SN - 0037-4466

IS - 3

ER -

ID: 84833369