scientific article; zbMATH DE number 4132137

MaRDI QIDQ3033745zbMATH OpenFDO

Authors Luc Bélair

Publication date 1988

Full work available at URL http://www.numdam.org/item?id=GAU_1985-1986__13__15_0, https://eudml.org/doc/91948

zbMATH Keywords

p-adic numbersquantifier eliminationsemi-algebraic set

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Model-theoretic algebra (03C60) Polynomials (11S05) Model theory of fields (12L12)

Recommendations

• p-adic semi-algebraic sets and cell decomposition.
• Monomialization of morphisms and p-adic quantifier elimination
• More on definable sets of p-adic numbers
• On the structure of semialgebraic sets over p-adic fields
• Semilinear cell decomposition

Cited in

(9)

• Substructures and uniform elimination for p-adic fields
• Monomialization of morphisms and p-adic quantifier elimination
• On the structure of semialgebraic sets over p-adic fields
• p-adic semi-algebraic sets and cell decomposition.
• More on definable sets of p-adic numbers
• scientific article; zbMATH DE number 4093598 (Why is no real title available?)
• Semilinear cell decomposition
• Model completion of scaled lattices and co-Heyting algebras of p-adic semi-algebraic sets
• Definissabilite Avec Parametres Exterieurs Dans Q p Et R

This page was built for publication:

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