Structure of Quasivariety Lattices. II. Undecidable Problems

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 journal › Article › peer-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.

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