Reducts of \(p\)-adically closed fields
DOI10.1007/S00153-013-0366-3zbMath1350.03030OpenAlexW2069367142MaRDI QIDQ2449852
Publication date: 12 May 2014
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-013-0366-3
quantifier elimination\(p\)-adic numberso-minimalitySkolem functionsreductscell decompositionP-minimalitydefining multiplication
Model theory (number-theoretic aspects) (11U09) 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) Formally (p)-adic fields (12J12)
Related Items (2)
Cites Work
- Unnamed Item
- Cell decomposition for semibounded \(p\)-adic sets
- The rationality of the Poincaré series associated to the p-adic points on a variety
- Formally \(p\)-adic fields
- Classification of semi-algebraic p-adic sets up to semi-algebraic bijection
- A version of p-adic minimality
- On the structure of semialgebraic sets over p-adic fields
- Cell decomposition and definable functions for weakp-adic structures
- 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: Reducts of \(p\)-adically closed fields