Substructures and uniform elimination for p-adic fields

DOI10.1016/0168-0072(88)90043-7zbMATH Open0656.03023OpenAlexW2090495484MaRDI QIDQ1109764FDOQ1109764

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

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

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)

Cites Work

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

Cited In (15)

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