Quantifier elimination in valued Ore modules

Journal of Symbolic Logic 75 (3):1007-1034 (2010)

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
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2178/jsl/1278682213
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 46,206
Through your library

References found in this work BETA

The Theory of Modules of Separably Closed Fields 2.Pilar Dellunde, Françoise Delon & Françoise Point - 2004 - Annals of Pure and Applied Logic 129 (1-3):181-210.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

0-D-Valued Fields.Nicolas Guzy - 2006 - Journal of Symbolic Logic 71 (2):639 - 660.
Semi-Bounded Relations in Ordered Modules.Oleg Belegradek - 2004 - Journal of Symbolic Logic 69 (2):499 - 517.
A Model Complete Theory of Valued D-Fields.Thomas Scanlon - 2000 - Journal of Symbolic Logic 65 (4):1758-1784.
Quantifier Elimination for Neocompact Sets.H. Jerome Keisler - 1998 - Journal of Symbolic Logic 63 (4):1442-1472.
Magidor-Malitz Quantifiers in Modules.Andreas Baudisch - 1984 - Journal of Symbolic Logic 49 (1):1-8.
Quantifier Elimination in Tame Infinite P-Adic Fields.Ingo Brigandt - 2001 - Journal of Symbolic Logic 66 (3):1493-1503.


Added to PP index

Total views
33 ( #276,305 of 2,285,643 )

Recent downloads (6 months)
4 ( #323,037 of 2,285,643 )

How can I increase my downloads?


My notes

Sign in to use this feature