The Henselian closures of a P\(p\)C field (Q1187135)

The authors show some analogy between arithmetic of pseudo algebraically closed fields (PAC) (or pseudo real closed fields (PRC)) and pseudo \(p\)-algebraically closed fields (P\(p\)C). Here a field \(K\) is said to be PAC (resp. PRC, P\(p\)C) if every absolutely irreducible variety \(V\) has a \(K\)-rational point provided it has a simple \(\overline K\)-rational point for each algebraic (resp. real, \(p\)-adic) closure \(\overline K\) of \(K\). The arithmetical structure of Henselian closure \(\overline K\) of a PAC field \(K\) is well known [see \textit{M. D. Fried} and \textit{M. Jarden}, Field arithmetic. Berlin etc.: Springer (1986; Zbl 0625.12001)]. The authors observe that also the arithmetical structure of a PRC field \(K\) emerges from its orderings, i.e. the Henselian closure \(\overline K\) of \(K\) is either real closed or separably closed. Their principal result is Theorem 1.13 which states that a P\(p\)C field \(K\) admits no ordering and the Henselian closure of \(K\) with respect to any valuation is either \(p\)-adically closed or algebraically closed.