Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT

Freigegeben

Bericht

Quantifier elimination in p-adic fields

MPG-Autoren

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

Externe Ressourcen
Es sind keine externen Ressourcen hinterlegt
Volltexte (beschränkter Zugriff)
Für Ihren IP-Bereich sind aktuell keine Volltexte freigegeben.
Volltexte (frei zugänglich)

MPI-I-93-155.pdf
(beliebiger Volltext), 11MB

Ergänzendes Material (frei zugänglich)
Es sind keine frei zugänglichen Ergänzenden Materialien verfügbar
Zitation

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


Zitierlink: https://hdl.handle.net/11858/00-001M-0000-0014-B76E-7
Zusammenfassung
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.