Quasiequational bases of Cantor algebras. (English. Russian original) Zbl 1428.08003
Sib. Math. J. 59, No. 3, 375-382 (2018); translation from Sib. Mat. Zh. 59, No. 3, 481-490 (2018).
Summary: There are continuum many quasivarieties of Cantor algebras having an \(\omega\)-independent quasiequational basis but no independent quasiequational basis whose intersection does have an independent quasiequational basis.
MSC:
| 08C15 | Quasivarieties |
References:
| [1] | Maltsev, A. I., Universally axiomatizable subclasses of locally finite classes of models, Sib. Math. J., 8, 764-770, (1967) · Zbl 0157.02703 · doi:10.1007/BF01040652 |
| [2] | Tarski, A., Equational logic and equational theories of algebras, 275-288, (1968), Amsterdam · Zbl 0209.01402 |
| [3] | Kartashov, E. M., Quasivarieties of unary algebras with a finite number of cycles, Algebra and Logic, 19, 106-120, (1980) · Zbl 0462.08003 · doi:10.1007/BF01669836 |
| [4] | Gorbunov, V. A., Covers in lattices of quasivarieties and independent axiomatizability, Algebra and Logic, 16, 340-369, (1977) · Zbl 0403.08009 · doi:10.1007/BF01669475 |
| [5] | Gorbunov V. A., Algebraic Theory of Quasivarieties, Plenum, New York (1998). · Zbl 0986.08001 |
| [6] | Kravchenko, A. V.; Yakovlev, A. V., Quasivarieties of graphs and independent axiomatizability, Siberian Adv. Math., 28, 53-59, (2018) · Zbl 1399.08004 · doi:10.3103/S1055134418010042 |
| [7] | Basheyeva, A. O.; Yakovlev, A. V., On ω-independent quasiequational bases, Sib. Electron. Math. Rep., 14, 838-847, (2017) · Zbl 1436.08010 |
| [8] | Kravchenko, A. V.; Nurakunov, A. M.; Schwidefsky, M. V., On quasi-equational bases for differential groupoids and unary algebras, Sib. Electron. Math. Rep., 14, 1330-1337, (2017) · Zbl 1386.08003 |
| [9] | Basheeva, A.; Nurakunov, A.; Schwidefsky, M.; Zamojska-Dzienio, A., Lattices of subclasses. III, Sib. Electron. Math. Rep., 14, 252-263, (2017) · Zbl 1375.08001 |
| [10] | Budkin, A. I., Independent axiomatizability of quasivarieties of groups, Math. Notes, 31, 817-826, (1982) · Zbl 0508.20014 · doi:10.1007/BF01372348 |
| [11] | Budkin, A. I., Independent axiomatizability of quasivarieties of generalized solvable groups, Algebra and Logic, 25, 155-166, (1986) · Zbl 0621.20011 · doi:10.1007/BF01988796 |
| [12] | Budkin, A. I., Independent axiomatizability of quasi-varieties of soluble groups, Algebra and Logic, 30, 81-100, (1991) · Zbl 0791.20024 · doi:10.1007/BF01978829 |
| [13] | Sizyi, S. V., Quasivarieties of graphs, Sib. Math. J., 35, 783-794, (1994) · Zbl 0849.08012 · doi:10.1007/BF02106622 |
| [14] | Kravchenko, A. V.; Nurakunov, A. M.; Schwidefsky, M. V., On the structure of quasivariety lattices. I. independent axiomatizability, (2018) |
| [15] | Sheremet, M. S., Quasivarieties of Cantor algebras, Algebra Universalis, 46, 193-201, (2001) · Zbl 1059.08006 · doi:10.1007/PL00000336 |
| [16] | Smirnov, D. M., Lattices of varieties and free algebras, Sib. Math. J., 10, 847-858, (1969) · Zbl 0194.01403 · doi:10.1007/BF00971660 |
| [17] | Smirnov, D. M., Cantor algebras with single generator. I, Algebra and Logic, 10, 40-49, (1972) · Zbl 0234.08006 · doi:10.1007/BF02217801 |
| [18] | Belkin, V. P., Some lattices of quasivarieties of algebras, Algebra and Logic, 15, 7-13, (1976) · Zbl 0354.08006 · doi:10.1007/BF01875927 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
