a_mani_sc_gs at yahoo.co.in
Tue Jan 23 16:40:40 EST 2007
On Sunday 21 Jan 2007 23:33, Dana Scott wrote:
> Take any equational theory with an unsolvable word
> problem (e.g., monoids, groups, rings, lattices).
> Then take as identities the axioms of the theory plus
> a number of equations between constants (i.e., thinking
> of generators and relations).
> Hence, the problem of deducing another equation (without
> variables, a special kind of identity) is exactly the
> original word problem for the theory.
This can be extended to weak identities as well (of some forms). For example
see Crvenkovic, S. et al ´on a problem of partial algebras´ Rev. Res. Math.
ser. 17,2, 39--55 (1989). (Novisad J Math)
Member, Cal. Math. Soc
More information about the FOM