Representability types of varieties and Mal'tsev strict conditions (Q1920782)
From MaRDI portal
![]() | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Representability types of varieties and Mal'tsev strict conditions |
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Representability types of varieties and Mal'tsev strict conditions |
scientific article |
Statements
Representability types of varieties and Mal'tsev strict conditions (English)
0 references
4 November 1996
0 references
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\).
0 references
Mal'tsev strict conditions
0 references
compactness property
0 references
Mal'tsev theory
0 references
coverability
0 references