Corrigendum to: “Quantifier elimination in valued Ore modules”

DOI10.2178/jsl/1333566649zbMath1239.03024OpenAlexW2005410018MaRDI QIDQ2892689

Françoise Point, Luc Bélair

Publication date: 19 June 2012

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.jsl/1333566649

zbMATH Keywords

quantifier eliminationindependence propertyvalued fieldsvalued modulesOre ring of difference operators

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Ordinary and skew polynomial rings and semigroup rings (16S36) Quantifier elimination, model completeness, and related topics (03C10) Valued fields (12J10)

Related Items (2)

Bézout domains and lattice-valued modules ⋮ Valued modules on skew polynomial rings and Bézout domains

Cites Work

• Quantifier elimination in valued Ore modules

This page was built for publication: Corrigendum to: “Quantifier elimination in valued Ore modules”