Stable Extensions and Fields with the Global Density Property

Abstract

For a field M we denote by Ms and respectively the separable closure and the algebraic closure of M. If F is a variety which is defined over M, then we denote by V(M) the set of all if-rational points of V. M is said to be pseudo-algebraically closed (PAC) field, if V(M) ≠ θ for every non-void abstract variety V defined over M. It can be shown that then is dense in V(M) in the Zariski M -topology.