scientific article
From MaRDI portal
Publication:3957133
zbMath0494.20019MaRDI QIDQ3957133
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
finiteness conditionsrecursively enumerable setsfinitely generated groupelementary theorysolvable word problemcomplete presentationmonolithic embeddingrecursively presented simple groups
Subgroup theorems; subgroup growth (20E07) Simple groups (20E32) Generators, relations, and presentations of groups (20F05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Word problems, etc. in computability and recursion theory (03D40) Theory of numerations, effectively presented structures (03D45)
This page was built for publication: