scientific article; zbMATH DE number 4132137

zbMATH Open0692.03021MaRDI QIDQ3033745FDOQ3033745

Authors: Luc Bélair 

Publication date: 1988

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

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

semi-algebraic setquantifier eliminationp-adic numbers

Mathematics Subject Classification ID

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

Cited In (8)

• Title not available (Why is that?)
• More on definable sets of p-adic numbers
• Monomialization of morphisms and \(p\)-adic quantifier elimination
• On the structure of semialgebraic sets over p-adic fields
• Substructures and uniform elimination for p-adic fields
• p-adic semi-algebraic sets and cell decomposition.
• Semilinear cell decomposition
• Model completion of scaled lattices and co-Heyting algebras of \(p\)-adic semi-algebraic sets

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)