Cell decomposition and definable functions for weak p-adic structures
We develop a notion of cell decomposition suitable for studying weak p-adic structures (reducts of p-adic fields where addition and multiplication are not (everywhere) definable). As an example, we consider a structure with restricted addition.
cell decomposition quantifier elimination p-adic geometry minimality msc (2010) 03c07 03c10 03c64 11u09