Pseudo algebraically closed field

In mathematics, a field formula_1 is pseudo algebraically closed if it satisfies certain properties which hold for algebraically closed fields. The concept was introduced by James Ax in 1967.
Formulation.
A field "K" is pseudo algebraically closed (usually abbreviated by PAC) if one of the following equivalent conditions holds: