Elementary theories of finitely generated pro-p-rings. (Russian) Zbl 0622.13009
The main result is that if R is a finitely generated pro-p-ring of characteristic \(0\) which is not a finitely generated \({\mathbb{Z}}_ p\)- module, then the elementary theory of \(R_ p\) is hereditarily undecidable.
Reviewer: J.Monk
MSC:
13L05 | Applications of logic to commutative algebra |
03D35 | Undecidability and degrees of sets of sentences |
13E15 | Commutative rings and modules of finite generation or presentation; number of generators |