Quantifier elimination in valued Ore modules
From MaRDI portal
Publication:4931104
DOI10.2178/jsl/1278682213zbMath1225.03039OpenAlexW2148956539MaRDI QIDQ4931104
Publication date: 4 October 2010
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2178/jsl/1278682213
quantifier eliminationindependence propertyvalued fieldsvalued modulesOre ring of difference operators
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 (3)
Corrigendum to: “Quantifier elimination in valued Ore modules” ⋮ VALUED MODULES OVER SKEW POLYNOMIAL RINGS I ⋮ Pseudo-linear algebra over a division ring
Cites Work
This page was built for publication: Quantifier elimination in valued Ore modules