Structure of Quasivariety Lattices. I. Independent Axiomatizability


Citar

Texto integral

Acesso aberto Acesso aberto
Acesso é fechado Acesso está concedido
Acesso é fechado Somente assinantes

Resumo

We find a sufficient condition for a quasivariety K to have continuum many subquasivarieties that have no independent quasi-equational bases relative to K but have ω-independent quasi-equational bases relative to K. This condition also implies that K is Q-universal.

Sobre autores

A. Kravchenko

Sobolev Institute of Mathematics; Novosibirsk State University; Siberian Institute of Management; Novosibirsk State Technical University

Autor responsável pela correspondência
Email: a.v.kravchenko@mail.ru
Rússia, pr. Akad. Koptyuga 4, Novosibirsk, 630090; ul. Pirogova 1, Novosibirsk, 630090; ul. Nizhegorodskaya 6, Novosibirsk, 630102; pr. Marksa 20, Novosibirsk, 630073

A. Nurakunov

Institute of Mathematics, National Academy of Science of the Kyrgyz Republic

Email: a.v.kravchenko@mail.ru
Киргизия, pr. Chui 265a, Bishkek, 720071

M. Schwidefsky

Sobolev Institute of Mathematics; Novosibirsk State University

Email: a.v.kravchenko@mail.ru
Rússia, pr. Akad. Koptyuga 4, Novosibirsk, 630090; ul. Pirogova 1, Novosibirsk, 630090

Arquivos suplementares

Arquivos suplementares
Ação
1. JATS XML

Declaração de direitos autorais © Springer Science+Business Media, LLC, part of Springer Nature, 2019