Mathematics of the USSR-Izvestiya
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Forthcoming papers
Archive
Impact factor
Guidelines for authors
Submit a manuscript

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Izv. RAN. Ser. Mat.:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Mathematics of the USSR-Izvestiya, 1988, Volume 30, Issue 3, Pages 577–597
DOI: https://doi.org/10.1070/IM1988v030n03ABEH001031
(Mi im1311)
 

This article is cited in 4 scientific papers (total in 4 papers)

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

A. G. Myasnikov, V. N. Remeslennikov
References:
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.
Bibliography: 18 titles.
Received: 07.02.1985
Bibliographic databases:
UDC: 519.45
MSC: Primary 20E18, 20F50; Secondary 20A15
Language: English
Original paper language: Russian
Citation: A. G. Myasnikov, V. N. Remeslennikov, “Recursive $p$-adic numbers and elementary theories of finitely generated pro-$p$-groups”, Math. USSR-Izv., 30:3 (1988), 577–597
Citation in format AMSBIB
\Bibitem{MyaRem87}
\by A.~G.~Myasnikov, V.~N.~Remeslennikov
\paper Recursive $p$-adic numbers and elementary theories of finitely generated pro-$p$-groups
\jour Math. USSR-Izv.
\yr 1988
\vol 30
\issue 3
\pages 577--597
\mathnet{http://mi.mathnet.ru//eng/im1311}
\crossref{https://doi.org/10.1070/IM1988v030n03ABEH001031}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=903626}
\zmath{https://zbmath.org/?q=an:0663.20030|0628.20028}
Linking options:
  • https://www.mathnet.ru/eng/im1311
  • https://doi.org/10.1070/IM1988v030n03ABEH001031
  • https://www.mathnet.ru/eng/im/v51/i3/p613
  • This publication is cited in the following 4 articles:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Известия Академии наук СССР. Серия математическая Izvestiya: Mathematics
    Statistics & downloads:
    Abstract page:394
    Russian version PDF:159
    English version PDF:27
    References:56
    First page:2
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024