Standard

Structure of Quasivariety Lattices. II. Undecidable Problems. / Kravchenko, A. V.; Nurakunov, A. M.; Schwidefsky, M. V.

In: Algebra and Logic, Vol. 58, No. 2, 15.05.2019, p. 123-136.

Research output: Contribution to journalArticlepeer-review

Harvard

Kravchenko, AV, Nurakunov, AM & Schwidefsky, MV 2019, 'Structure of Quasivariety Lattices. II. Undecidable Problems', Algebra and Logic, vol. 58, no. 2, pp. 123-136. https://doi.org/10.1007/s10469-019-09531-5

APA

Kravchenko, A. V., Nurakunov, A. M., & Schwidefsky, M. V. (2019). Structure of Quasivariety Lattices. II. Undecidable Problems. Algebra and Logic, 58(2), 123-136. https://doi.org/10.1007/s10469-019-09531-5

Vancouver

Kravchenko AV, Nurakunov AM, Schwidefsky MV. Structure of Quasivariety Lattices. II. Undecidable Problems. Algebra and Logic. 2019 May 15;58(2):123-136. doi: 10.1007/s10469-019-09531-5

Author

Kravchenko, A. V. ; Nurakunov, A. M. ; Schwidefsky, M. V. / Structure of Quasivariety Lattices. II. Undecidable Problems. In: Algebra and Logic. 2019 ; Vol. 58, No. 2. pp. 123-136.

BibTeX

@article{175f5226d07b4292b2784787cc8f01d5,
title = "Structure of Quasivariety Lattices. II. Undecidable Problems",
abstract = "Sufficient conditions are specified under which a quasivariety contains continuum many subquasivarieties having an independent quasi-equational basis but for which the quasiequational theory and the finite membership problem are undecidable. A number of applications are presented.",
keywords = "independent basis, membership problem, Q-universality, quasi-identity, quasivariety, undecidable theory, UNIVERSAL QUASIVARIETIES",
author = "Kravchenko, {A. V.} and Nurakunov, {A. M.} and Schwidefsky, {M. V.}",
note = "Publisher Copyright: {\textcopyright} 2019, Springer Science+Business Media, LLC, part of Springer Nature.",
year = "2019",
month = may,
day = "15",
doi = "10.1007/s10469-019-09531-5",
language = "English",
volume = "58",
pages = "123--136",
journal = "Algebra and Logic",
issn = "0002-5232",
publisher = "Springer US",
number = "2",

}

RIS

TY - JOUR

T1 - Structure of Quasivariety Lattices. II. Undecidable Problems

AU - Kravchenko, A. V.

AU - Nurakunov, A. M.

AU - Schwidefsky, M. V.

N1 - Publisher Copyright: © 2019, Springer Science+Business Media, LLC, part of Springer Nature.

PY - 2019/5/15

Y1 - 2019/5/15

N2 - Sufficient conditions are specified under which a quasivariety contains continuum many subquasivarieties having an independent quasi-equational basis but for which the quasiequational theory and the finite membership problem are undecidable. A number of applications are presented.

AB - Sufficient conditions are specified under which a quasivariety contains continuum many subquasivarieties having an independent quasi-equational basis but for which the quasiequational theory and the finite membership problem are undecidable. A number of applications are presented.

KW - independent basis

KW - membership problem

KW - Q-universality

KW - quasi-identity

KW - quasivariety

KW - undecidable theory

KW - UNIVERSAL QUASIVARIETIES

UR - http://www.scopus.com/inward/record.url?scp=85069542780&partnerID=8YFLogxK

U2 - 10.1007/s10469-019-09531-5

DO - 10.1007/s10469-019-09531-5

M3 - Article

AN - SCOPUS:85069542780

VL - 58

SP - 123

EP - 136

JO - Algebra and Logic

JF - Algebra and Logic

SN - 0002-5232

IS - 2

ER -

ID: 21059864