Decidable theories of pseudo-\(p\)-adic closed fields (Q753869): Difference between revisions

Let \(K\) a field and \(\Gamma\) an ordered Abelian group. A valuation \(\phi: K\to \Gamma \cup \{\infty \}\) is called \(p\)-valuation if \(\text{char}(K)=0\), \(\phi(p)\) is the least element of \(\Gamma\) greater than zero, and the residue class field is the \(p\)-element field. A field \(K\) is called P\(p\)C-field if \(\text{char}(K)=0\) and \(K\) is existentially closed in every regular totally \(p\)-adic extension of \(K\). We recall that the theory of the class of P\(p\)C-fields is undecidable. The author proves that the theory of maximal P\(p\)C-fields and the theories of the classes of P\(p\)C-fields with finitely generated absolute Galois groups are decidable.