𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A finitely presented solvable group that is not residually finite

✍ Scribed by Gilbert Baumslag


Publisher
Springer-Verlag
Year
1973
Tongue
French
Weight
113 KB
Volume
133
Category
Article
ISSN
0025-5874

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


It is undecidable whether a finite speci
✍ Paliath Narendran; Colm Γ“'DΓΊnlaing; Friedrich Otto πŸ“‚ Article πŸ“… 1991 πŸ› Elsevier Science 🌐 English βš– 398 KB

It is shown that it is undecidable in general whether or not a monoid that is presented by a finite special string-rewriting system is a group. The given proof uses the technique of canonical string-rewriting systems.