Decidability of the theory of modules over commutative valuation domains

Gennady Puninskiy, G. Puninski, V. Puninskaya, C. Toffalori

    Research output: Contribution to journalArticlepeer-review

    Abstract

    We prove that, if V is an effectively given commutative valuation domain such that its value group is dense and archimedean, then the theory of all V-modules is decidable. © 2006 Elsevier B.V. All rights reserved.
    Original languageEnglish
    Pages (from-to)258-275
    Number of pages17
    JournalAnnals of Pure and Applied Logic
    Volume145
    Issue number3
    DOIs
    Publication statusPublished - Mar 2007

    Keywords

    • Commutative valuation domain
    • Decidability
    • Theory of modules
    • Ziegler spectrum

    Fingerprint

    Dive into the research topics of 'Decidability of the theory of modules over commutative valuation domains'. Together they form a unique fingerprint.

    Cite this