Lattices of subclasses. III

Aynur Basheyeva, Anvar Nurakunov, Marina Schwidefsky, Anna Zamojska-Dzienio

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

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

Аннотация

We prove that for certain Q-universal quasivarieties K, the lattice of K-quasivarieties contains continuum many subquasivarieties with the undecidable quasi-equational theory and for which the finite membership problem is also undecidable. Moreover, we prove that certain Q-universal quasivarieties have continuum many subquasivarieties with no independent quasi-equational basis.

Язык оригиналаанглийский
Страницы (с-по)252-263
Число страниц12
ЖурналSiberian Electronic Mathematical Reports
Том14
DOI
СостояниеОпубликовано - 1 янв 2017

Fingerprint Подробные сведения о темах исследования «Lattices of subclasses. III». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать