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 theoryfinitely generated pro-p-ring

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Applications of logic to commutative algebra (13L05) Commutative rings defined by factorization properties (e.g., atomic, factorial, half-factorial) (13F15)

Cites Work

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

This page was built for publication: Elementary theories of finitely generated pro-p-rings