Quantifier Elimination in p-adic Fields

DOI10.1093/COMJNL/36.5.419MaRDI QIDQ3140552zbMATH OpenOpenAlexFDO

Authors Devdatt P. Dubhashi

Publication date 26 April 1994

Published in The Computer Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/comjnl/36.5.419

zbMATH Keywords

\(p\)- adic numbers\(p\)-adic fieldscomplexitycylindrical algebraic decomposition of affine \(p\)-adic spacedecision procedureslower boundquantifier eliminationtutorial survey

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Sequences and sets (11B99) Model theory (number-theoretic aspects) (11U09) Formally (p)-adic fields (12J12) Non-Archimedean valued fields (12J25) Decidability and field theory (12L05) Model theory of fields (12L12)

Recommendations

• A quantifier elimination for the theory of \(p\)-adic numbers
• scientific article; zbMATH DE number 3918343
• scientific article; zbMATH DE number 3935016
• p-adic semi-algebraic sets and cell decomposition.
• scientific article; zbMATH DE number 1531894

Cited in

(8)

• Substructures and uniform elimination for p-adic fields
• A quantifier elimination for the theory of \(p\)-adic numbers
• Quantifier elimination for Henselian fields relative to additive and multiplicative congruences
• Quantifier elimination in tame infinite p-adic fields
• Monomialization of morphisms and p-adic quantifier elimination
• scientific article; zbMATH DE number 4008376 (Why is no real title available?)
• Semilinear cell decomposition
• scientific article; zbMATH DE number 1531894 (Why is no real title available?)

This page was built for publication: Quantifier Elimination in p-adic Fields

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