Model completeness for Henselian fields with finite ramification valued in a $Z$-group
We prove that the theory of a Henselian valued field of characteristic zero, with finite ramification, and whose value group is a $Z$-group, is model-complete in the language of rings if the theory of its residue field is model-complete in the language of rings. We apply this to prove that every inf...
Main Authors: | Derakhshan, J, Macintyre, A |
---|---|
Format: | Journal article |
Published: |
Cornell University
2016
|
Similar Items
-
Uniformly defining valuation rings in Henselian valued fields with
finite or pseudo-finite residue fields
by: Cluckers, R, et al.
Published: (2013) -
P-HENSELIAN FIELDS
by: Koenigsmann, J
Published: (1995) -
Definability in Henselian fields
by: Anscombe, WG
Published: (2012) -
Contributions to the model theory of henselian fields
by: Kartas, K
Published: (2022) -
Model theory of finite-by-Presburger Abelian groups and finite extensions of $p$-adic fields
by: Derakhshan, J, et al.
Published: (2016)