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...
| मुख्य लेखकों: | , |
|---|---|
| स्वरूप: | Journal article |
| प्रकाशित: |
Cornell University
2016
|