Representability types of varieties and Mal'tsev strict conditions
We develop a model-theoretic approach to the study of Mal'tsev strict conditions (SCs). We prove that every locally independent set of SCs is independent and therefore the implication relation on SCs possesses the compactness property. We find a necessary condition for the existence of an independent generating set (basis) for a Mal'tsev theory in terms of coverability and \(\vee\)-irreducibility. It permits us to establish that every theory \({\mathcal T} \in {\mathbf L}^{sc}\), \({\mathcal T} \neq 0\), with a basis \(\Sigma\) includes \(|\Sigma|\) maximal subtheories \({\mathcal T}_1, {\mathcal T}_2,\dots\) such that, for every proper subset \(\Delta \subset \Sigma\), the subtheory \(\text{SC} (\Delta)\) generated by \(\Delta\) is included in \({\mathcal T}_k\) for some \(k\).
- Characterizing Mal'cev conditions
- Congruence varieties
- Covers in lattices of quasivarieties and independent axiomatizability
- scientific article; zbMATH DE number 52297 (Why is no real title available?)
- scientific article; zbMATH DE number 3601640 (Why is no real title available?)
- Infinite primal algebras and Post varieties
- Interpretations of module varieties
- The lattice of interpretability types of varieties
This page was built for publication: Representability types of varieties and Mal'tsev strict conditions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1920782)
