scientific article
From MaRDI portal
Publication:3852386
zbMath0419.20031MaRDI QIDQ3852386
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
first-order predicate calculusprenex normal formuniversal sentencesDiophant's problemmetabelian nilpotent groupuniversal theory of the group
Applications of logic to group theory (20A15) Nilpotent groups (20F18) Classical first-order logic (03B10) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Foundations of classical theories (including reverse mathematics) (03B30)
Related Items (13)
Existential questions in (relatively) hyperbolic groups. ⋮ Random nilpotent groups, polycyclic presentations, and Diophantine problems ⋮ Full rank presentations and nilpotent groups: structure, Diophantine problem, and genericity ⋮ Algorithmic decidability of the universal equivalence problem for partially commutative nilpotent groups ⋮ Equations in nilpotent groups ⋮ EDT0L solutions to equations in group extensions ⋮ Deciding isomorphy using Dehn fillings, the splitting case ⋮ Theories of relatively free solvable groups with extra predicate ⋮ Detecting geometric splittings in finitely presented groups ⋮ Recognizing a relatively hyperbolic group by its Dehn fillings ⋮ On systems of equations over free partially commutative groups ⋮ Diophantine problems in solvable groups ⋮ The isomorphism problem for toral relatively hyperbolic groups.
This page was built for publication:
