RECURSIVEp-ADIC NUMBERS AND ELEMENTARY THEORIES OF FINITELY GENERATED PRO-p-GROUPS

DOI10.1070/IM1988V030N03ABEH001031zbMath0663.20030OpenAlexW2046266226MaRDI QIDQ3812446

Vladimir N. Remeslennikov, Alexei G. Myasnikov

Publication date: 1988

Published in: Mathematics of the USSR-Izvestiya (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1070/im1988v030n03abeh001031

zbMATH Keywords

elementary theoryeffectively presentedfinitely generated nilpotent pro-p-grouprecursive p-adic integers

Mathematics Subject Classification ID

Applications of logic to group theory (20A15) Generators, relations, and presentations of groups (20F05) Nilpotent groups (20F18) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Limits, profinite groups (20E18)

Related Items (3)

The Diophantine problem in the classical matrix groups ⋮ Elementary theories of completely simple semigroups ⋮ UNDECIDABILITY OF THE FIRST ORDER THEORIES OF FREE NONCOMMUTATIVE LIE ALGEBRAS

This page was built for publication: RECURSIVEp-ADIC NUMBERS AND ELEMENTARY THEORIES OF FINITELY GENERATED PRO-p-GROUPS