Galois stratification over \(e\)-fold ordered Frobenius fields (Q1320032)

The main goal of the paper is to introduce an equivalent of Frobenius fields in the class of PRC\(e\) fields. A pseudo-algebraically closed field \(F\) is called a Frobenius field if \(F\) has an embedding property. A decision procedure for Frobenius fields was established in [the first author, \textit{M. Fried} and \textit{M. Jarden}, Adv. Math. 51, 1-35 (1984; Zbl 0554.12016)]. A field \(M\) is called pseudo real closed (PRC) if every absolutely irreducible variety over \(M\) has an \(M\)-rational point provided it has an \(\overline{M}\)-rational simple point for each real closure \(\overline {M}\) of \(M\). An \(e\)-fold ordered field \((M,{\mathbf P})= (M, P_ 1,\dots, P_ \ell)\) is called a PRC\(e\) field if the orderings \(P_ 1,\dots, P_ \ell\) are distinct and every absolutely irreducible variety \(V\) over \(M\) has an \(M\)-rational point, provided that \(P_ 1,\dots, P_ \ell\) extend to the function field of \(V\) over \(M\). A PRC\(e\) field \((M,{\mathbf P})\) is said to be Frobenius if the absolute Galois group of the \(e\)-fold ordered field \((M,{\mathbf P})\) has the embedding property. It is proved that Geyer fields and van den Dries fields are Frobenius. The authors find a decision procedure for the theory of Frobenius fields in the language of \(e\)-fold ordered fields. The notion of decomposition group is extended to the case of \(e\)-fold ordered fields.