Structure of Quasivariety Lattices. II. Undecidable Problems

A. V. Kravchenko, A. M. Nurakunov, M. V. Schwidefsky

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

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

Аннотация

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

Язык оригиналаанглийский
Страницы (с-по)123-136
Число страниц14
ЖурналAlgebra and Logic
Том58
Номер выпуска2
DOI
СостояниеОпубликовано - 15 мая 2019

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

  • Цитировать