Structure of quasivariety lattices. II: Undecidable problems (Q2011361): Difference between revisions
From MaRDI portal
Removed claims |
Changed an Item |
||
Property / author | |||
Property / author: Aleksandr Vladimirovich Kravchenko / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Anvar M. Nurakunov / rank | |||
Normal rank | |||
Property / author | |||
Property / author: M. V. Schwidefsky / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Keith A. Kearnes / rank | |||
Normal rank |
Revision as of 08:15, 10 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Structure of quasivariety lattices. II: Undecidable problems |
scientific article |
Statements
Structure of quasivariety lattices. II: Undecidable problems (English)
0 references
6 December 2019
0 references
The paper provides sufficient conditions for a quasivariety \(\mathbf M\) to contain continuumly many subquasivarieties \(\mathbf K\) such that the membership problem for finitely presented structures in \(\mathbf M\) is undecidable in \(\mathbf K\), the finite membership problem is undecidable in \(\mathbf K\), the quasi-equational theory of \(\mathbf K\) is undecidable, and \(\mathbf K\) has an independent quasi-equational basis relative to \(\mathbf M\). Some applications are presented. For Part I see [the authors, Algebra Logic 57, No. 6, 445--462 (2019; Zbl 1439.08008); translation from Algebra Logika 57, No. 6, 684--710 (2018)].
0 references
quasi-identity
0 references
quasivariety
0 references
membership problem
0 references
undecidable theory
0 references
independent basis
0 references
\(Q\)-universality
0 references