Back to Search
Start Over
Decidability of the theory of modules over commutative valuation domains
- Source :
- Annals of Pure and Applied Logic. 145:258-275
- Publication Year :
- 2007
- Publisher :
- Elsevier BV, 2007.
-
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.
- Subjects :
- Discrete mathematics
Logic
Group (mathematics)
010102 general mathematics
Decidability
Theory of modules
01 natural sciences
Ideal theory
010101 applied mathematics
Ziegler spectrum
Domain (ring theory)
0101 mathematics
Commutative property
Value (mathematics)
Commutative valuation domain
Mathematics
Valuation (algebra)
Subjects
Details
- ISSN :
- 01680072
- Volume :
- 145
- Database :
- OpenAIRE
- Journal :
- Annals of Pure and Applied Logic
- Accession number :
- edsair.doi.dedup.....723976cc4e9203922d69b8a26469e984