Decidable unary varieties (Q1085191)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Decidable unary varieties |
scientific article |
Statements
Decidable unary varieties (English)
0 references
1987
0 references
Let \({\mathcal V}\) denote a variety of unary algebras (in Birkhoff's sense) of finite type which is locally finite, i.e. every finitely generated algebra in \({\mathcal V}\) is finite. Let M(\({\mathcal V})\) be the monoid of all unary terms of \({\mathcal V}\). Then \({\mathcal V}\) has a decidable first order theory if and only if the left ideals of \({\mathcal M}({\mathcal V})\) form an inclusion-ordered chain.
0 references
variety of unary algebras
0 references
finitely generated algebra
0 references
unary terms
0 references
decidable first order theory
0 references