Structure of Quasivariety Lattices. I. Independent Axiomatizability
- Authors: Kravchenko A.V.1,2,3,4, Nurakunov A.M.5, Schwidefsky M.V.1,2
-
Affiliations:
- Sobolev Institute of Mathematics
- Novosibirsk State University
- Siberian Institute of Management
- Novosibirsk State Technical University
- Institute of Mathematics, National Academy of Science of the Kyrgyz Republic
- Issue: Vol 57, No 6 (2019)
- Pages: 445-462
- Section: Article
- URL: https://journals.rcsi.science/0002-5232/article/view/234111
- DOI: https://doi.org/10.1007/s10469-019-09516-4
- ID: 234111
Cite item
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