Lattices of subclasses. III

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

doi:10.17377/semi.2017.14.023

Lattices of subclasses. III

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

Кафедра дискретной математики и информатики ММФ и СУНЦ

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

10 Цитирования (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
Журнал	Сибирские электронные математические известия
Том	14
DOI	https://doi.org/10.17377/semi.2017.14.023
Состояние	Опубликовано - 1 янв. 2017

Доступ к документу

10.17377/semi.2017.14.023

Другие файлы и ссылки

Link to publication in Scopus

Цитировать

@article{e4862681c10147bf9585960f0e94a02b,

title = "Lattices of subclasses. III",

abstract = "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.",

keywords = "Abelian group, Differential groupoid, Finite membership problem, Graph, Independent basis, Q- universal, Quasi-equational theory, Quasi-identity, Quasivariety, Undecidable theory",

author = "Aynur Basheyeva and Anvar Nurakunov and Marina Schwidefsky and Anna Zamojska-Dzienio",

year = "2017",

month = jan,

day = "1",

doi = "10.17377/semi.2017.14.023",

language = "English",

volume = "14",

pages = "252--263",

journal = "Сибирские электронные математические известия",

issn = "1813-3304",

publisher = "Sobolev Institute of Mathematics",

}

Lattices of subclasses. III. / Basheyeva, Aynur; Nurakunov, Anvar; Schwidefsky, Marina и др.

В: Сибирские электронные математические известия, Том 14, 01.01.2017, стр. 252-263.

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

TY - JOUR

T1 - Lattices of subclasses. III

AU - Basheyeva, Aynur

AU - Nurakunov, Anvar

AU - Schwidefsky, Marina

AU - Zamojska-Dzienio, Anna

PY - 2017/1/1

Y1 - 2017/1/1

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

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

KW - Abelian group

KW - Differential groupoid

KW - Finite membership problem

KW - Graph

KW - Independent basis

KW - Q- universal

KW - Quasi-equational theory

KW - Quasi-identity

KW - Quasivariety

KW - Undecidable theory

UR - http://www.scopus.com/inward/record.url?scp=85049330624&partnerID=8YFLogxK

U2 - 10.17377/semi.2017.14.023

DO - 10.17377/semi.2017.14.023

M3 - Article

AN - SCOPUS:85049330624

VL - 14

SP - 252

EP - 263

JO - Сибирские электронные математические известия

JF - Сибирские электронные математические известия

SN - 1813-3304

ER -

Lattices of subclasses. III

Аннотация

Доступ к документу

Другие файлы и ссылки

Fingerprint

Цитировать