Results 1 
3 of
3
Some Undecidability Results For Finitely Generated Thue Congruences On A TwoLetter Alphabet
 Fundamenta Informaticae
, 1996
"... Following the course set by A. Markov (1951), S. Adjan (1958), and M. Rabin (1958), C. ' O'D'unlaing (1983) has shown that certain properties of finitely generated Thue congruences are undecidable in general. Here we prove that many of these undecidability results remain valid even when only finitel ..."
Abstract

Cited by 3 (3 self)
 Add to MetaCart
Following the course set by A. Markov (1951), S. Adjan (1958), and M. Rabin (1958), C. ' O'D'unlaing (1983) has shown that certain properties of finitely generated Thue congruences are undecidable in general. Here we prove that many of these undecidability results remain valid even when only finitely generated Thue congruences on a fixed twoletter alphabet \Sigma 2 are considered. In contrast to a construction given by P. Schupp (1976) which applies to groups only, we use a modified version of a technical lemma from A. Markov's original paper. Based on this technical result we can carry the result of A. SattlerKlein (1996), which says that certain Markov properties remain undecidable even when they are restricted to finitely generated Thue congruences that are decidable, over to the alphabet \Sigma 2 . 1 Introduction A stringrewriting system R on some alphabet \Sigma is a set of pairs of strings over \Sigma. It induces a congruence $ R on \Sigma , the Thue congruence generat...
UNSOLVABLE PROBLEMS ABOUT HIGHERDIMENSIONAL KNOTS AND RELATED GROUPS
, 908
"... containing the preceding one, related to codimension 2 smooth embeddings of manifolds. Kn is the class of groups of complements of nspheres in S n+2; S (resp. M, G) is the class of groups of complements of orientable, closed surfaces in S 4 (resp. a 1connected 4manifold, ..."
Abstract
 Add to MetaCart
containing the preceding one, related to codimension 2 smooth embeddings of manifolds. Kn is the class of groups of complements of nspheres in S n+2; S (resp. M, G) is the class of groups of complements of orientable, closed surfaces in S 4 (resp. a 1connected 4manifold,