Translator Disclaimer
September 2010 Quantifier elimination in valued Ore modules
Luc Bélair, Françoise Point
J. Symbolic Logic 75(3): 1007-1034 (September 2010). DOI: 10.2178/jsl/1278682213

Abstract

We consider valued fields with a distinguished isometry or contractive derivation as valued modules over the Ore ring of difference operators. Under certain assumptions on the residue field, we prove quantifier elimination first in the pure module language, then in that language augmented with a chain of additive subgroups, and finally in a two-sorted language with a valuation map. We apply quantifier elimination to prove that these structures do not have the independence property.

Citation

Download Citation

Luc Bélair. Françoise Point. "Quantifier elimination in valued Ore modules." J. Symbolic Logic 75 (3) 1007 - 1034, September 2010. https://doi.org/10.2178/jsl/1278682213

Information

Published: September 2010
First available in Project Euclid: 9 July 2010

zbMATH: 1225.03039
MathSciNet: MR2723780
Digital Object Identifier: 10.2178/jsl/1278682213

Subjects:
Primary: 03C10, 03C60, 12J10, 16D, 16S36

Rights: Copyright © 2010 Association for Symbolic Logic

JOURNAL ARTICLE
28 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.75 • No. 3 • September 2010
Back to Top