de.mpg.escidoc.pubman.appbase.FacesBean
English
 
Help Guide Disclaimer Contact us Login
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT

Released

Report

Quantifier elimination in p-adic fields

MPS-Authors

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

Locator
There are no locators available
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: http://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.