scientific article
zbMath0451.20001MaRDI QIDQ3897194
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
presentationword problemHorn formulasfinitely generated groupback-and-forth equivalenceHigman's theoremalgebraically closed groupsgeneric groupsomega-homogeneous structures
Applications of logic to group theory (20A15) Model-theoretic algebra (03C60) Generators, relations, and presentations of groups (20F05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Applications of computability and recursion theory (03D80) Other degrees and reducibilities in computability and recursion theory (03D30) Model-theoretic forcing (03C25)
Related Items