Substructures and uniform elimination for p-adic fields

DOI10.1016/0168-0072(88)90043-7zbMath0656.03023OpenAlexW2090495484MaRDI QIDQ1109764

Luc Bélair

Publication date: 1988

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: http://archipel.uqam.ca/11603/1/APAL_1988_LB.pdf

zbMATH Keywords

axiomatizationp-adically closed fieldsmodel theory of finite extension fields of the field of p-adic numbers

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Algebraic number theory: local fields (11S99) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (10)

\(p\)-adic ideals of \(p\)-rank \(d\) and the \(p\)-adic Nullstellensatz. ⋮ Henselian residually \(p\)-adically closed fields ⋮ Anneaux de fonctions p-adiques ⋮ Some supplements to Feferman-Vaught related to the model theory of adeles ⋮ Topological differential fields ⋮ More on imaginaries in p-adic fields ⋮ \(p\)-convexly valued rings ⋮ Hyperfields, truncated DVRs, and valued fields ⋮ Model theory of adeles. I. ⋮ Valued Fields withKCommuting Derivations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Elimination of quantifiers in algebraic structures
• The rationality of the Poincaré series associated to the p-adic points on a variety
• Real closed rings. II. Model theory
• Formally \(p\)-adic fields
• The p-adic spectrum
• The geometric theory of \(p\)-adic fields
• Solving diophantine problems over all residue class fields of a number field and all finite fields
• Model theory
• The elementary theory of finite fields
• p-adic semi-algebraic sets and cell decomposition.
• Model Theoretic Algebra
• On definable subsets of p-adic fields
• Sets Definable Over Finite Fields: Their Zeta-Functions
• Bounds on transfer principles for algebraically closed and complete discretely valued fields
• Decision procedures for real and p‐adic fields

This page was built for publication: Substructures and uniform elimination for p-adic fields