The embedding theorem for Cantor varieties

被引:1
|
作者
Shabunin L.V.
机构
关键词
Mathematical Logic; Word Problem; Basic Operation; Elementary Theory; Embed Theorem;
D O I
10.1023/A:1010268503853
中图分类号
学科分类号
摘要
Let m and n be fixed integers, with 1 ≤ m ≤ n. A Cantor variety Cm,n is a variety of algebras with m n-ary and n m-ary basic operations which is defined in a signature Ω = {g1,...,gm,f1,...,fn} by the identities fi(g1(x1,...,xn),...,gm (x1,...,xn)) = xi, i = 1,...,n, gj(f1(x1,...,xm),...,fn (x1,...,xm)) = xj, j = 1,...,m. We prove the following: (a) every partial Cm,n-algebra A is isomorphically embeddable in the algebra G = 〈A; S (A)〉 of Cm,n; (b) for every finitely presented algebra G = 〈A; S〉 in Cm,n, the word problem is decidable; (c) for finitely presented algebras in Cm,n, the occurrence problem is decidable; (d) Cm,n has a hereditarily undecidable elementary theory. © 2001 Plenum Publishing Corporation.
引用
收藏
页码:194 / 204
页数:10
相关论文
共 50 条