It is shown in this paper that every separably closed field with a non-trivial valuation, treated as a first-order structure in the language of valued fields, is an immediate expansion of the underlying first-order field structure; that is to say that there is no proper intermediate first-order structure between these two structures.
展开▼
