Decidability for Theories of Modules

DOI10.1112/jlms/s2-38.2.193zbMath0667.03028OpenAlexW1971751794MaRDI QIDQ3819050

Françoise Point, M. Y. Prest

Publication date: 1988

Published in: Journal of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1112/jlms/s2-38.2.193

zbMATH Keywords

decidable theoryfinitely presented R-moduleseffective Morita equivalencefirst-order theory of R-modulesmodule theories

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Theory of modules and ideals in commutative rings (13C99)

Related Items

Unnamed Item, Decidable representations, Representation embeddings and the Ziegler spectrum, Representation embeddings, interpretation functors and controlled wild algebras, Epimorphisms of rings, interpretations of modules and strictly wild algebras, Bézout domains and lattice-valued modules, Decidability and modules over Bézout domains, Decidability of the theory of modules over Prüfer domains with dense value groups, On pairs of free modules over a Dedekind domain