Analytic cell decomposition and the closure of p-adic semianalytic sets

DOI10.2307/2275742MaRDI QIDQ4338325zbMATH OpenOpenAlexFDO

Authors Nianzheng Liu

Publication date 16 November 1997

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2275742

zbMATH Keywords

\(p\)-adic semianalytic setbasic subsetcell decompositionDenef cell decomposition theoremsemialgebraic functionseparation lemma

Mathematics Subject Classification ID

Algebraic number theory: local fields (11S99) Model theory (number-theoretic aspects) (11U09) Real-analytic and semi-analytic sets (14P15)

Review text

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\).

Recommendations

• p-adic semi-algebraic sets and cell decomposition.
• Analytic $p$-adic cell decomposition and integrals
• On the structure of p-adic subanalytic functions and sets
• Closure of rigid semianalytic sets

Cites work

• p-adic and real subanalytic sets
• Decision procedures for real and p‐adic fields
• scientific article; zbMATH DE number 51406 (Why is no real title available?)
• On the structure of semialgebraic sets over p-adic fields
• Rigid Subanalytic Sets
• The rationality of the Poincaré series associated to the p-adic points on a variety

Cited in

(6)

• On the structure of p-adic subanalytic functions and sets
• Cell decomposition and definable functions for weakp-adic structures
• Analytic $p$-adic cell decomposition and integrals
• scientific article; zbMATH DE number 778408 (Why is no real title available?)
• Closure Theorem for Partially Semialgebraic Sets
• Uniform properties of rigid subanalytic sets

This page was built for publication: Analytic cell decomposition and the closure of p-adic semianalytic sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4338325)