Substructures and uniform elimination for p-adic fields

DOI10.1016/0168-0072(88)90043-7MaRDI QIDQ1109764zbMATH OpenOpenAlexFDO

Authors 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) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10) Algebraic number theory: local fields (11S99)

Recommendations

• More on imaginaries in p-adic fields
• Quantifier Elimination in p-adic Fields
• \(p\)-adically closed fields with nonstandard analytic structure
• The geometric theory of \(p\)-adic fields
• Quantifier elimination in tame infinite \(p\)-adic fields

Cites work

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

Cited in

(15)

• Rational places on algebraic function fields over generalized closed fields
• \(p\)-convexly valued rings
• Model theory of adeles. I.
• Anneaux de fonctions p-adiques
• Analytic nullstellensätze and the model theory of valued fields
• Topological differential fields
• Monomialization of morphisms and \(p\)-adic quantifier elimination
• Hyperfields, truncated DVRs, and valued fields
• Some supplements to Feferman-Vaught related to the model theory of adeles
• Henselian residually \(p\)-adically closed fields
• Valued Fields withKCommuting Derivations
• Model completeness for finitely ramified Henselian fields valued in a \(\mathbb{Z}\)-group and for pseudo-algebraically closed fields
• \(p\)-adic ideals of \(p\)-rank \(d\) and the \(p\)-adic Nullstellensatz.
• The geometric theory of \(p\)-adic fields
• More on imaginaries in p-adic fields

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1109764)