Аннотация
We find sufficient conditions guaranteeing that for a quasivariety M of structures of finite type containing a B-class with respect to M, there exists a subquasivariety K⊂M and a structure AϵK such that the problems whether a finite lattice embeds into the lattice Lv(K) of K-varieties and into the lattice ConK are undecidable.
Язык оригинала | английский |
---|---|
Страницы (с-по) | 1609-1624 |
Число страниц | 16 |
Журнал | International Journal of Algebra and Computation |
Том | 30 |
Номер выпуска | 8 |
DOI | |
Состояние | Опубликовано - дек 2020 |