Structure of Quasivariety Lattices. I. Independent Axiomatizability


Cite item

Full Text

Open Access Open Access
Restricted Access Access granted
Restricted Access Subscription Access

Abstract

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.

About the authors

A. V. Kravchenko

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

Author for correspondence.
Email: a.v.kravchenko@mail.ru
Russian Federation, pr. Akad. Koptyuga 4, Novosibirsk, 630090; ul. Pirogova 1, Novosibirsk, 630090; ul. Nizhegorodskaya 6, Novosibirsk, 630102; pr. Marksa 20, Novosibirsk, 630073

A. M. Nurakunov

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

Email: a.v.kravchenko@mail.ru
Kyrgyzstan, pr. Chui 265a, Bishkek, 720071

M. V. Schwidefsky

Sobolev Institute of Mathematics; Novosibirsk State University

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


Copyright (c) 2019 Springer Science+Business Media, LLC, part of Springer Nature

This website uses cookies

You consent to our cookies if you continue to use our website.

About Cookies