A non-PAC field whose maximal purely inseparable extension is PAC (Q1320033)

If a field \(K\) is pseudo-algebraically closed (PAC), then each algebraic extension of \(K\) is PAC. \textit{W. D. Geyer} and \textit{M. Jarden} asked if the converse is true for purely inseparable extensions [Geom. Dedicata 29, 335-375 (1989; Zbl 0703.12006)]. Using the analogue of the Mordell conjecture for function fields, the author proves that there exists a non-PAC field whose maximal purely inseparable extension is PAC.