Representability types of varieties and Mal'tsev strict conditions (Q1920782): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/bf02104827 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2060900600 / rank | |||
Normal rank |
Latest revision as of 09:44, 30 July 2024
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