scientific article; zbMATH DE number 3652594

MaRDI QIDQ3852386zbMATH OpenFDO

Authors Vitaliĭ Roman'kov

Publication date 1979

zbMATH Keywords

Diophant's problemfirst-order predicate calculusmetabelian nilpotent groupprenex normal formuniversal sentencesuniversal theory of the group

Mathematics Subject Classification ID

Classical first-order logic (03B10) Foundations of classical theories (including reverse mathematics) (03B30) Applications of logic to group theory (20A15) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Nilpotent groups (20F18)

Cited in

(15)

• The isomorphism problem for toral relatively hyperbolic groups.
• Random nilpotent groups, polycyclic presentations, and Diophantine problems
• Deciding isomorphy using Dehn fillings, the splitting case
• Theories of relatively free solvable groups with extra predicate
• Recognizing a relatively hyperbolic group by its Dehn fillings
• Full rank presentations and nilpotent groups: structure, Diophantine problem, and genericity
• Existential questions in (relatively) hyperbolic groups.
• EDT0L solutions to equations in group extensions
• Equations in nilpotent groups.
• On systems of equations over free partially commutative groups.
• Algorithmic decidability of the universal equivalence problem for partially commutative nilpotent groups
• Detecting geometric splittings in finitely presented groups
• Diophantine problems in solvable groups
• Conciseness of first-order formulae
• The Diophantine problem in Thompson's group F

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3852386)