Elementary theories of finitely generated pro-p-rings

DOI10.1007/BF00969583zbMath0634.13005MaRDI QIDQ1096680

E. N. Pakhotin

Publication date: 1987

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

zbMATH Keywords

decidable elementary theory; finitely generated pro-p-ring

Mathematics Subject Classification ID

03D35: Undecidability and degrees of sets of sentences

13L05: Applications of logic to commutative algebra

13F15: Commutative rings defined by factorization properties (e.g., atomic, factorial, half-factorial)

Cites Work

• Unnamed Item
• Elementary theory of a finitely generated commutative ring
• The Undecidability of Algebraic Rings and Fields
• Undecidable Rings