Cell decomposition and definable functions for weakp-adic structures

DOI10.1002/malq.201200031zbMath1262.03054arXiv1205.4170MaRDI QIDQ3144875

Eva Leenknegt

Publication date: 10 December 2012

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1205.4170

zbMATH Keywords

quantifier elimination; Skolem functions; \(p\)-adic fields; cell decomposition; P-minimality

Mathematics Subject Classification ID

03C60: Model-theoretic algebra

03C64: Model theory of ordered structures; o-minimality

12L12: Model theory of fields

03C07: Basic properties of first-order languages and structures

03C10: Quantifier elimination, model completeness, and related topics

Related Items

Cell decomposition for semibounded \(p\)-adic sets, Reducts of \(p\)-adically closed fields

Cites Work

• Unnamed Item
• The rationality of the Poincaré series associated to the p-adic points on a variety
• Formally \(p\)-adic fields
• An isomorphism theorem for Henselian algebraic extensions of valued fields
• Quantifier elimination for Henselian fields relative to additive and multiplicative congruences
• A version of p-adic minimality
• Cell decomposition for semiaffine structures on padic fields
• Cell decomposition forP-minimal fields
• p-adic semi-algebraic sets and cell decomposition.
• Additive reducts of real closed fields
• A structure theorem for semibounded sets in the reals
• On definable subsets of p-adic fields
• Reducts of some structures over the reals
• A version of o-minimality for the p-adics