Assume that $k\subset K$ are two algebraically closed fields with $k\neq K$. Can $K$ have finite transcendence degree over $k$? Equivalently, for an algebraically closed field $k$ can $k(x_1,...,x_n)$ be algebraically closed for some $n$? I believe that the answer should be no. At least for zero characteristic, there is no solution of the polynomial $t^2-x_1$ in $k(x_1,...,x_n)[t]$ which makes sense considering the theorem of Puiseux characterizing the algebraic closure of $\mathbb{C}(x)$. I guess even with prime characteristic same polynomial should work.
Edit : The question comes to my mind while I was reading Mumford's Complex Projective Varieties book. He shows a proof of Hilbert's Nullstellensatz where the field is $\mathbb{C}$ but the fact he uses is that the transcendence degree of $\mathbb{C}$ over $\mathbb{Q}$ (also hence over $\mathbb{\overline{Q}}$) is infinite. I just wondered to which fields it can be generalized and it seems like to any field except the algebraic closures of prime fields (if this question has a negative answer as I expect).
