TY - JOUR
T1 - Recursive p-adic numbers and elementary theories of finitely generated pro-p-groups
AU - Myasnikov, A. G.
AU - Remeslennikov, V. N.
PY - 1988/6/30
Y1 - 1988/6/30
N2 - The authors propose a method of effective presentation of finitely generated pro-p-groups, and use it to study the elementary theories of such groups. They prove that elementarily equivalent finitely generated pro-p-groups are isomorphic. The main result is the following criterion: The elementary theory of a finitely generated nilpotent pro-p-group G is decidable if and only if G is effectively presented.
AB - The authors propose a method of effective presentation of finitely generated pro-p-groups, and use it to study the elementary theories of such groups. They prove that elementarily equivalent finitely generated pro-p-groups are isomorphic. The main result is the following criterion: The elementary theory of a finitely generated nilpotent pro-p-group G is decidable if and only if G is effectively presented.
UR - http://www.scopus.com/inward/record.url?scp=0010137381&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0010137381&partnerID=8YFLogxK
U2 - 10.1070/IM1988v030n03ABEH001031
DO - 10.1070/IM1988v030n03ABEH001031
M3 - Article
AN - SCOPUS:0010137381
SN - 0025-5726
VL - 30
SP - 577
EP - 597
JO - Mathematics of the USSR - Izvestija
JF - Mathematics of the USSR - Izvestija
IS - 3
ER -