Algebraisch abgeschlossene Gruppen. (German) Zbl 0451.20001

Word problems II, Stud. Logic Found. Math. Vol. 95, 449-576 (1980).


20A15 Applications of logic to group theory
20F05 Generators, relations, and presentations of groups
20F10 Word problems, other decision problems, connections with logic and automata (group-theoretic aspects)
03D30 Other degrees and reducibilities in computability and recursion theory
03D80 Applications of computability and recursion theory
03C25 Model-theoretic forcing
03C60 Model-theoretic algebra