On the complexity of the lattices of subvarieties and congruences

Результат исследования: Научные публикации в периодических изданияхстатьярецензирование

2 Цитирования (Scopus)

Аннотация

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 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.

Язык оригиналаанглийский
ЖурналInternational Journal of Algebra and Computation
DOI
СостояниеПринято в печать - 2020

Fingerprint Подробные сведения о темах исследования «On the complexity of the lattices of subvarieties and congruences». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать