quasi-algebraically closed field