Interpretability of the Cantor varieties (Q1918794)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Interpretability of the Cantor varieties |
scientific article |
Statements
Interpretability of the Cantor varieties (English)
0 references
21 July 1996
0 references
A Cantor variety \(C_n\), \(n \geq 2\), is a variety of algebras with one \(n\)-ary functional symbol \(g\) and \(n\) unary functional symbols \(f_1, \dots, f_n\) satisfying the following identities: \(f_i(g(x_1,\dots, x_n)) = x_i\), \(1 \leq i \leq n\), \(g(f_1(x),\dots,f_n(x)) = x\). An SC-theory (or a Mal'tsev theory) of a variety \(V\) is the collection of all strong Mal'tsev conditions satisfied in \(V\). Theorem I. The SC-theory of the Cantor variety \(C_2\) has bases of any finite length \(\geq 1\). Theorem II. The dimension of every Cantor variety \(C_n\) is infinite.
0 references
interpretability
0 references
basis
0 references
Cantor variety
0 references
SC-theory
0 references
Mal'tsev theory
0 references
strong Mal'tsev conditions
0 references
dimension
0 references