Galois stratification over Frobenius fields (Q759801)

A field K is called a PAC field if every absolutely irreducible variety defined over K has a K-rational point. If the absolute Galois group G(K) of an PAC field K has the 'embedding property' (i.e. to each two finite quotients A and B of G(K) and each two epimorphisms \(\sigma\) : G(K)\(\to A\) and \(\rho\) : \(B\to A\) there is an epimorphism \(\tau\) : G(K)\(\to B\) such that \(\rho \circ \tau =\sigma)\), then K is called a 'Frobenius field'. For several classes of Frobenius fields, the last author has proved the decidability of their elementary theories [Invent. Math. 38, 187-206 (1976; Zbl 0342.12104); the last author and \textit{U. Kiehne}, ibid. 30, 275-294 (1975; Zbl 0315.12107)]. In the present paper these results are strengthened by showing that the considered theories are even primitive recursively decidable. The proof uses the method of Galois stratification which is presented in this paper.