Publication:3937570
From MaRDI portal
zbMath0481.20022MaRDI QIDQ3937570
Publication date: 1981
word problem; finitely presented group; universal groups; algebraically closed groups; elementary theory of groups
20E07: Subgroup theorems; subgroup growth
20F10: Word problems, other decision problems, connections with logic and automata (group-theoretic aspects)
03D40: Word problems, etc. in computability and recursion theory
Related Items
On the isolated points in the space of groups., Subgroup theorem for valuated groups and the CSA property., Sofic profile and computability of Cremona groups, Satisfaction of existential theories in finitely presented groups and some embedding theorems.