scientific article; zbMATH DE number 709753
From MaRDI portal
Publication:4319153
zbMath0826.20031MaRDI QIDQ4319153
Publication date: 27 September 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
undecidabilityfree grouplength functiongroup signatureelementary theoryfree generatorspositive \(\exists^ \infty \forall \exists^ \infty\)-theory
Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Free nonabelian groups (20E05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Metamathematical considerations in group theory (20A10)
Related Items (1)
This page was built for publication:
