Elementary theory of a finitely generated commutative ring
From MaRDI portal
Publication:585286
DOI10.1007/BF01141192zbMath0524.13014MaRDI QIDQ585286
Publication date: 1983
Published in: Mathematical Notes (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01141192
03B25: Decidability of theories and sets of sentences
13L05: Applications of logic to commutative algebra
13E15: Commutative rings and modules of finite generation or presentation; number of generators
Related Items
Elementary theories of finitely generated pro-p-rings, Mal'cev's correspondence and unsolvability, Online presentations of finitely generated structures
Cites Work