Recursive p-adic numbers and elementary theories of finitely generated pro-p-groups

A. G. Myasnikov, V. N. Remeslennikov

Research output: Contribution to journalArticlepeer-review

7 Scopus citations

Abstract

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.

Original languageEnglish
Pages (from-to)577-597
Number of pages21
JournalMathematics of the USSR - Izvestija
Volume30
Issue number3
DOIs
StatePublished - 30 Jun 1988

Fingerprint

Dive into the research topics of 'Recursive p-adic numbers and elementary theories of finitely generated pro-p-groups'. Together they form a unique fingerprint.

Cite this