This article is cited in 19 papers

Structure of quasivariety lattices. II. Undecidable problems

A. V. Kravchenko^abcd, A. M. Nurakunov^e, M. V. Schwidefsky<sup>cda

a</sup> Novosibirsk State University
^b Siberian Institute of Management — Branch of the Russian Presidental Academy of National Economics and Public Administration, Novosibirsk
^c Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk
^d Novosibirsk State Technical University
^e Institute of Mathematics of the National Academy of Sciences of the Kyrgyz Republic

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

Keywords: quasi-identity, quasivariety, membership problem, undecidable theory, $Q$-universality, independent basis.

UDC: 512.57

Received: 14.07.2017
Revised: 09.07.2019

DOI: 10.33048/alglog.2019.58.203

 English version: Algebra and Logic, 2019, 58:2, 123–136

Bibliographic databases:

• 
•