Algebraically closed extension