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
elementary theoryeffectively presentedfinitely generated nilpotent pro-p-grouprecursive p-adic integers
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)
This page was built for publication: RECURSIVEp-ADIC NUMBERS AND ELEMENTARY THEORIES OF FINITELY GENERATED PRO-p-GROUPS