All Questions

Let $K$ be an Henselian discrete valuation field such that its completion is separable over $K$. Let $F$ be its infinite residue field. Is it true that a finite extension of $F$ is a simple extension ...

Let $K$ be a field with valuation $v:K\to G\cup\{\infty\}$ where $G$ is an ordered abelian group. In section 7.62 of the book "Foundations of analysis over surreal number fields." Vol. 141. Elsevier, ...