Quantifier elimination in p-adic fields

Dubhashi, Devdatt P.

Item

ITEM ACTIONSEXPORT

Add to Basket

Local TagsRelease HistoryDetailsSummary

Released

Report

Quantifier elimination in p-adic fields

MPS-Authors

Dubhashi, Devdatt P.
Algorithms and Complexity, MPI for Informatics, Max Planck Society;

External Resource

No external resources are shared

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

Fulltext (public)

MPI-I-93-155.pdf
(Any fulltext), 11MB

Supplementary Material (public)

There is no public supplementary material available

Citation

Dubhashi, D. P.(1993). Quantifier elimination in p-adic fields (MPI-I-93-155). Saarbrücken: Max-Planck-Institut für Informatik.

Cite as: https://hdl.handle.net/11858/00-001M-0000-0014-B76E-7

Abstract

We present a tutorial survey of quantifier-elimination and decision procedures in p-adic fields. The p-adic fields are studied in the (so-called) $P_n$--formalism of Angus Macintyre, for which motivation is provided through a rich body of analogies with real-closed fields. Quantifier-elimination and decision procedures are described proceeding via a Cylindrical Algebraic Decomposition of affine p-adic space. Effective complexity analyses are also provided.