Skip to main content
1 of 1
Post Made Community Wiki
Emil Jeřábek
  • 47.3k
  • 4
  • 150
  • 209

Let $K$ be an ordered field, and $v$ a valuation on $K$ with convex valuation ring. If $(K,v)$ is henselian, the value group is divisible, and the residue field is real-closed, then $K$ itself is a real-closed field.

There is also an analogous statement for algebraically closed fields of characteristic $0$.

Emil Jeřábek
  • 47.3k
  • 4
  • 150
  • 209