algebraically closed in Polish

(algebra, field theory, of a field) Which contains as an element every root of every nonconstant univariate polynomial definable over it (i.e., over said field).