Quantifier elimination in valued Ore modules

DOI10.2178/jsl/1278682213zbMath1225.03039OpenAlexW2148956539MaRDI QIDQ4931104

Luc Bélair, Françoise Point

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

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 (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

• Unnamed Item
• Unnamed Item
• Generalized \(t\)-modules
• The theory of modules of separably closed fields. II.
• On von Neumann regular rings with an automorphism
• The elementary theory of finite fields
• Model theory of the Frobenius on the Witt vectors

This page was built for publication: Quantifier elimination in valued Ore modules