If $K$ is algebraically closed, is the fixed field of an involution real-closed?
Solution 1:
Figured it out now: If $\overline{i}=i$, then $x^2+1$ is reducible over $F$, so $F$ is not real-closed. So $F$ is real-closed precisely when $\overline{i}=-i$.