Analytic cell decomposition and the closure of <i>p</i>-adic semianalytic sets (Q4338325)

The author proves a separation lemma which is an extension of the Denef cell decomposition theorem [\textit{J. Denef}, Invent. Math. 77, 1-23 (1984; Zbl 0537.12011); J. Reine Angew. Math. 369, 154-166 (1986; Zbl 0584.12015)]. The lemma implies the following analytic cell decomposition theorem. Theorem 2: For \( k\geq 2\) and any finite family of strictly convergent power series \({f_1,\dots,f_r}\in{\mathbb{Z}}_p\{X,t\}\), if each \(f_i\) is \(t\)-distinguished, then there exists a finite partition of \({\mathbb{Z}}_p^{M+1}\) into analytic \(k\)-cells \(D\), with the closure property, such that on each \(D\) every formula \({\mathbf P}_k(b_if_j)\) has constant truth value.\ It is shown that the closure of a \(p\)-adic semianalytic set is a semianalytic set. Concerning the class of fields to which the results of the paper apply, the author states that all theorems remain true for any finite extension \(K\).