Substructures and uniform elimination for p-adic fields

DOI10.1016/0168-0072(88)90043-7zbMath0656.03023MaRDI 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

axiomatization; p-adically closed fields; model theory of finite extension fields of the field of p-adic numbers

Mathematics Subject Classification ID

03C60: Model-theoretic algebra

11S99: Algebraic number theory: local fields

12L12: Model theory of fields

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

Related Items

More on imaginaries in p-adic fields, Anneaux de fonctions p-adiques, Some supplements to Feferman-Vaught related to the model theory of adeles, \(p\)-convexly valued rings, Topological differential fields, Henselian residually \(p\)-adically closed fields, \(p\)-adic ideals of \(p\)-rank \(d\) and the \(p\)-adic Nullstellensatz., Model theory of adeles. I., Hyperfields, truncated DVRs, and valued fields, 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