Cell decomposition and definable functions for weakp-adic structures

DOI10.1002/malq.201200031zbMath1262.03054arXiv1205.4170OpenAlexW2129318924MaRDI 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 eliminationSkolem functions\(p\)-adic fieldscell decompositionP-minimality

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Model theory of ordered structures; o-minimality (03C64) Model theory of fields (12L12) Basic properties of first-order languages and structures (03C07) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (2)

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

This page was built for publication: Cell decomposition and definable functions for weakp-adic structures