scientific article; zbMATH DE number 703527

zbMath0820.20041MaRDI QIDQ4317142

V. G. Durnev

Publication date: 19 July 1995

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

undecidabilityfree groupspositive \(\exists^ \infty \forall \exists^ \infty\)-theory

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Free nonabelian groups (20E05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)

This page was built for publication: